Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science" and Year is 1993
|Up a level|
Atken, S., Kuhn, O., Shadbolt, N. R. and Schmalhofer, F. (1993) A Conceptual Model of Heirarchical Skeletal Planning and its Formalisation. Proceedings of 3rd KADS User Meeting Seimens AG Munich.
Carpenter, D. B. and Glaser, H. (1993) A Grid-based Scientific Problem, Expressed in Haskell. J. of Functional Programming, 3, (1), 29-31.
Carr, L, Davis, HC and Hall, W , Pickering, JA (eds.) (1993) Using HyTime to Represent Microcosm Linkbases. , Department of Electronics & Computer Science, University of Southampton
Carr, LA, Davis, HC and Hall, W (1993) Experiementing with HyTime Architectural Forms for Hypertext Interchange. Information Services and Use, 13, (2), 111-120.
Corbridge, C., Rugg, G., Burton, A. M. and Shadbolt, N. R. (1993) Feedback and Training Effects in Knowledge Elicitation. Research and Development in Expert Systems X Information Press Ltd.
Corbridge, C., Shadbolt, N. R. and Major, N. (1993) The EPSRC Centre of Research in Development, Instruction and Training - An AI Perspective.
Crowder, RM, Hall, W, Bernard, R and Heath, I (1993) Open Hypermedia Systems for Training and Maintenance. European Conference on Automation and Robotic Training, London
Davis, HC, Hall, W, Heath, I, Hill, GJ and Wilkins, RJ , Pickering, JA (eds.) (1993) Towards an Integrated Information Environment with Open Hypermedia Systems.
Davis, HC, Hutchings, GA and Hall, W , Pickering, JA (eds.) (1993) Microcosm: A Hypermedia Platform for the Delivery of Learning Materials. , Department of Electronics & Computer Science, University of Southampton
Davis, HC, Pickering, JA and Hall, W (1993) Microcosm: An Open Hypermedia System.
Davis, HC, Pickering, JA, Hall, W and Wilkins, RJ (1993) Microcosm: An Open Hypermedia System. Proceedings of InterCHI'93 Conference ACM Press, 526.
Davis, Hugh C., Hall, Wendy and Heath, Ian (1993) Media Integration Issues within Open Hypermedia Systems. In Proceedings of IEEE International Symposium on Multimedia Technologies and Future Applications, Southampton, UK.
Davis, Hugh C., Hutchings, Gerard A. and Hall, Wendy (1993) A Framework for Delivering Large-Scale Hypermedia Learning Material. In Educational Multimedia and Hypermedia Annual, 1993: Proceedings of ED-MEDIA '93-World Conference on Educational Multimedia and Hypermedia, Orlando, Florida. , 115--122.
Davis, Hugh C., Hutchings, Gerard A. and Hall, Wendy (1993) Microcosm: A Hypermedia Platform for the Delivery of Learning Materials.
Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In, 8th Meeting on Logic Programming, GULP '93 Mediterranean Press.
Elliott, T. and King, S. F. (1993) Heavy Axions from Strong, Broken, Horizontal Gauge Symmetry.
Elliott, T. and King, S. F. (1993) Heavy Quark Condensates from Dramatically Broken Flavour Symmetry.
Elliott, T., King, S. F. and White, P. L. (1993) Squark Contributions to Higgs Boson Masses in the Next-To-Minimal Supersymmetric Standard Model.
Elliott, T., King, S. F. and White, P. L. (1993) Supersymmetric Higgs Bosons at the Limit.
Glaser, H. and DeRoure, David C. (1993) Parallel and symbolic computing in the undergraduate curriculum. Parallel Processing in Education
Glaser, H. and Harrison, R. (1993) Data Abstraction in Modula 2. Information and Software Technology, 35, (11/12), 619-626.
Glaser, H. and Roure, D. De (1993) Parallel and symbolic computing in the undergraduate curriculum.
Glaser, H. and Sivess, V. (1993) An applicative language in the introductory programming unit.
Glaser, H. and Sivess, V. (1993) Un language fonctionnel pour le cours d'initiation à la programmation. Spécif, 93, 14-25.
Hall, W, Colson, F, Hutchings, GA and Davis, HC (1993) Microcosm in the Main Stream: a Case Study in History. Proceedings of CAL'93, University of York
Hall, W and Davis, HC (1993) The Microcosm Link Service. , Department of Electronics & Computer Science, University of Southampton
Hall, W, Davis, HC, Hutchings, GA and Pickering, JA (1993) The Microcosm Link Service.
Hall, W, Davis, HC, Hutchings, GA and Pickering, JA (1993) The Microcosm Link Service: an Integrating Technology. Proceedings of the 5th ACM Conference on Hypertext (Hypertext '93), Seattle, November 1993 ACM Press, 231-232.
Hall, W, Hill, GJ and Davis, HC (1993) The Micorocosm Link Service: a Technical Briefing. Proceedings of the 5th ACM Conference on Hypertext (Hypertext'93), Seattle, Washington ACM Press, 256-259.
Hall, W, Hutchings, GA, Carr, LA, Thorogood, PV and Sprunt, B (1993) Interactive Learning and Biology: A Hypermedia Approach. In, Ferguson, DL (eds.) UNSPECIFIED Advanced Technologies in the Teaching of Mathematics and Science , Springer-Verlag, 363-380.
Hall, Wendy, Hutchings, Gerard A., Carr, Les A., Thorogood, P. and Sprunt., B. (1993) Interactive Learning and Biology: A HyperMedia Approach. Advanced Technologies in the Teaching of Mathematics and Science
Harnad, S (1993) Symbol Grounding is an Empirical Problem: Neural Nets are Just a Candidate Component. Proceedings of the Fifteenth Annual Meeting of the Cognitive Science Society Erlbaum.
Harnad, Stevan (1993) Artificial Life: Synthetic Versus Virtual. Artificial Life III Santa Fe Institute Studies in the Sciences of Complexity.
Harnad, Stevan (1993) Discussion (passim). In, Bock, G.R. and Marsh, J. (eds.) CIBA Foundation Symposium. Experimental and Theoretical Studies of Consciousness , Wiley.
Harnad, Stevan (1993) Exorcizing the Ghost of Mental Imagery. Computational Intelligence, 9, (4)
Harnad, Stevan (1993) Grounding Symbols in the Analog World with Neural Nets. Think, 2, (1), 12-78.
Harnad, Stevan (1993) Problems, Problems: The Frame Problem as a Symptom of the Symbol Grounding Problem. Psycoloquy, 4, (34)
Hartel, P. H., Glaser, H. and Wild, J. M. (1993) FAST compiler user's guide. FAST: Functional programming for arrays of transputers -- The collected papers CSTR 93-15, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK and DOC 93/47, Dept. of Comp, Imperial College, London, UK, 247-264.
Heath, I and Hall, W , Pickering, JA (eds.) (1993) Linkbase Requirements for an Open Hypermedia System. , Department of Electronics & Computer Science, University of Southampton
Hellberg, S A and Zaluska, E J (1993) The PPPE Toolset. World Transputer Congress , 121-125.
Hill, G, Wilkins, R and Hall, W (1993) Open and Reconfigurable Hypermedia Systems: A Filter Based Model. Hypermedia, 5, (2), 103-118.
Hutchings, GA, Carr, LA and Hall, W (1993) StackMaker: An Environment for Creating Hypermedia Learning Material. Hypermedia, 4, (3), 197-212.
Lewis, Paul H. and Dobie, Mark R. (1993) Tools for Handling Video Sequences in Multimedia Databases. Visual Search 2 , 195--204.
Martinez, K., Cupitt, J. and Saunders, D. (1993) High resolution colorimetric imaging of paintings. UNSPECIFIED SPIE - the International Society for Optical Engineering, 25-36.
Meseguer, J., Montanari, U. and Sassone, V. (1993) ?-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In, Workshop on Topology and Completion in Semantics, Chartres, France, , 51 pp..
Moreau, Luc and Ribbens, Daniel (1993) Sound Rules for Parallel Evaluation of a Functional Language with callcc. In, ACM conference on Functional Programming and Computer Architecture (FPCA'93) , 125.
O'Hara, K. and Shadbolt, N. R. (1993) AI Models as a variety of Psychological Explanation. Proceedings of 13th International Joint Conference on Artificial Intelligence IJCAI 93 Morgan Kaufman.
O'Hara, K. and Shadbolt, N. R. (1993) Locating Generic Tasks. Journal of Knowledge Acquisition, 5, 449-481.
O'Hara, Kieron (1993) A Representation of KADS-I Interpretation Models Using a Decompositional Approach. 3rd KADS Meeting , 147-69.
O'Hara, Kieron (1993) Sceptical Overkill: On Two Recent Arguments Against Scepticism. Mind, 102, (2), 315-27.
O'Hara, Kieron (1993) "You Do Not Know Why You Dance": Comedy in "Under the Volcano", "Through the Panama" and "Tender is the Night". The Malcolm Lowry Review, (31-32), 68-84.
O'Hara, Kieron and Shadbolt, Nigel (1993) AI Models as a Variety of Psychological Explanation. In, Proceedings of the 13th International Joint Conference on Artificial Intelligence Morgan Kaufmann, 188-93.
O'Hara, Kieron and Shadbolt, Nigel (1993) Locating Generic Tasks. Knowledge Acquisition, 5, (4), 449-81.
Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics. In, 8th Meeting on Logic Programming, GULP '93. Mediterranean Press.
Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.
Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In, 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93. Springer, 682-692.
Scutt, Tom and O'Hara, Kieron (1993) 3 2 1 ... We Have Cognition. Mind and Language, 8, (4), 559-68.
Shadbolt, N. R., Motta, E. and Rouge, A. (1993) Constructing Knowledge-Based Systems. IEEE Software, 34-39.
Shadbolt, N. R., Motta, E. and Rouge, A. (1993) Engineering Knowledge Engineering. Proceddings of Kennistechnologie '93
Shire, A.J. and Lewis, Paul H. (1993) Windowing versus Geometric Distribution in Image Analysis Using Course Grain Parallelism. Proceedings of the Third International Conference on Visual Search
Soper, PJ, Hall, W, Pasha, M and Heath, I (1993) Knowledge Based Hypermedia. Proceedings of Workshop on Logic Programming Support Environments, University of Edinburgh
Syed-Mustaffa, S. M. S. and Glaser, H. (1993) Predicting Optimal AND-Parallelism at Compile Time. Proc. Workshop on Concurrent, Distributed and Parallel Implementation of Logic Programming Systems MIT Press, 89-100.
Wilkins, RJ, Heath, I and Hall, W (1993) A Direct Communication Model for Process Management in an Open Hypermedia System.
Wilkins, Robert J., Heath, Ian and Hall, Wendy (1993) A Direct Communication Model for Process Management in an Open Hypermedia System.
Wilkins, Robert J. and Weal, Mark J. (1993) VirtualMedia : Virtual Reality as a Hypermedia Navigation Tool. Proceedings of Hypertext '93 Seattle