Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science" and Year is 1994

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 62.

Cordo, PJ and Harnad, S (eds.) (1994) Movement Control, Cambridge University Press

Aitken, J., Reichgelt, H. and Shadbolt, N. R. (1994) Resolution Theorem Proving in Reified Model Logics. Journal of Automated Reasoning, 12, 103-129.

Aitken, S., Schmalhofer, F. and Shadbolt, N. R. (1994) A Knowledge Level Characterisation of Multi-Agent Systems. In, Proceedings of the Workshop on agent theories, architectures and languages on intelligent agents of the European Conference on Artificial Intelligence

Aitken, S. and Shadbolt, N. R. (1994) Knowledge Level Planning. In, Current Trends in AI Planning- Proceedings of the 2nd European Workshop on Planning, EWSP'93 IOS Press.

Carr, Les A., Barron, David W., Davis, Hugh C. and Hall, Wendy (1994) Why Use HyTime? Electronic Publishing: Origination, Dissemination and Design, 7, (3)

Carr, Les A., Hall, Wendy, Davis, Hugh C., DeRoure, David C. and Hollom, R. (1994) The Microcosm Link Service and its Application to the World Wide Web. Proceedings of the First WWW Conference, Geneva.

Carr, Leslie (1994) Structure and Hypertext. University of Southampton, : University of SOuthampton, Doctoral Thesis .

Corbridge, C., Rugg, G., Major, N., Shadbolt, N. R. and Burton, A. (1994) Laddering: Techniques and Tool Use in Knowledge Acquisition. Journal of Knowledge Acquisition, 6, 315-341.

Cottam, H., Willis, S. and Shadbolt, N. R. (1994) Using AI Techniques to Aid Repair Estimation. Proceedings of 14th International Avignon Conference AI'94

Cupit, J., Major, N., Shadbolt, N. R., Smith, R. and Clare, J. (1994) REKAP, A Methodology for the Automated Construction of Real-Time and Distributed Knowledge-Based Systems. Proceedings of the 14th International Avignon Conference AI'94

Cupit, J. and Shadbolt, N. R. (1994) Representational Redescription within Knowledge Intensive Data-Mining. Proceeding of 3rd Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop JKAW'94

Cupitt, J. and Martinez, K. (1994) Image processing for Museums. In, MacDonald, L. and Luo, R. (eds.) UNSPECIFIED Interacting with images , John Wiley, 133-147.

Davis, H., Hall, W. and Heath, I. (1994) Media integration issues in open hypermedia systems. In, Damper, R. I., Hall, W. and Richards, J. W. (eds.) Multimedia Technologies and Future Applications. , Pentech Press, 225-236.

Davis, HC, Hall, W and Heath, I (1994) Microcosm: an Architecture for Integrating Third Party Applications. Proceedings of the ECHT'94 Workshop on Open Hypermedia Systems, Edinburgh

Davis, HC, Knight, SJ and Hall, W , Pickering, JA (ed.) (1994) Enabling Applications for Hypertext Funcitonality. , Department of Electronics & Computer Science

Davis, Hugh C., Knight, S. and Hall, Wendy (1994) Light Hypermedia Link Services: A Study of Third Party Application Integration. In Proceedings of the 1994 European Conference on Hypermedia Technology, Edinburgh.

DeRoure, David C. and Michaelides, Danius T. (1994) A Distributed LISP-STAT Environment. Proceedings in Computational Statistics (Compstat 94) , 371--376.

Dobie, Mark R. and Lewis, Paul H. (1994) Data structures for image processing in C. Advances in Electronics and Electron Physics , 63--110.

Dobie, Mark R. and Lewis, Paul H. (1994) Extracting curvilinear features from remotely sensed images using minimum cost path techniques. First IEEE International Conference on Image Processing , 231--235.

Dobie, Mark R., Lewis, Paul H. and Nixon, M.S. (1994) Curvilinear Network Extraction from Remotely Sensed Images. International Association for Pattern Recogition Workshop on Machine Vision Applications , 123--126.

Downs, J., Reichgelt, H. and Shadbolt, N. R. (1994) Automatic Derivation of World Update Schemes. Proceedings of AIPS-94 AAAI Press.

Duncan, S H, Gordon, P L, Edwards, S I and Zaluska, E J (1994) Parallel Processing in High Integrity Aircraft Engine Control. High-Performance Computing and Networking , 32-39.

Elliott, T. (1994) Bounding the HIggs Boson Mass in the Next-To-Minimal Supersymmetric Standard Model. International Workshop on Supersymmetry and Unification of Fundamental Interactions: SUSY '93 World Scientific.

Elliott, T., King, S. F. and White, P. L. (1994) Radiative Corrections to Higgs Boson Masses in the Next-To-Minimal Supersymmetric Standard Modell. Physics Review

Hall, W and Davis, H.C. (1994) Hypermedia Link Services and Their Application to Multimedia Information Management. Journal of Information and Software Technology, 36, (4), 197-202.

Harnad, Stevan (1994) Computation Is Just Interpretable Symbol Manipulation: Cognition Isn't. Minds and Machines, 4, 379-390.

Harnad, Stevan (1994) The Convergence Argument in Mind-Modelling: Scaling Up from Toyland to the Total Turing Test. Cognoscenti: Bulletin of the Toronto Cognitive Science Society, 2, 35-39.

Harnad, Stevan (1994) Levels of Functional Equivalence in Reverse Bioengineering: The Darwinian Turing Test for Artificial Life. Artificial Life, 1, (3), 293-301.

Harrison, R., Samaraweera, L.G., Dobie, Mark R. and Lewis, Paul H. (1994) Relating Product Metrics to Process Attributes: An Empirical Investigation.

Hartel, P. H. and Glaser, H. (1994) An application of a functional language in Operational Research. Research Journal Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK, 119-121.

Hartel, P. H., Glaser, H. and Wild, J. M. (1994) Compilation of functional languages using flow graph analysis. Software---practice and experience, 24, (2), 127-173.

Hellberg, S A and Zaluska, E J (1994) A Portable Parallel Programming Environment based around PCTE. Information and Software Technology, 36, (7), 419-25.

Hill, GJ, Hall, W and De Roure, D , Pickering, JA (ed.) (1994) Towards a Distributed Model for Microcosm. , Department of Electronics & Computer Science, University of Southampton

Hill, Gary J. and Hall, Wendy (1994) Extending the Microcosm Model to a Distributed Environment. In Proceedings of the 1994 European Conference on Hypermedia Technology, Edinburgh.

Hutchings, GA, Hall, W, Davis, HC and White, SA (1994) Resource Based Learning: Creating Reusable Hypermedia for Education. Proceedings onf MediaActive'94, Liverpool

Lewis, P.H., Dobie, M.R. and Nixon, M.S. (1994) Curvilinear Network Extraction from Remotely Sensed Images. Workshop on Machine Vision Applications , 123-126.

Major, N., Cupit, J. and Shadbolt, N. R. (1994) Applying the REKAP Methodology to Situation Assessment. A Future for Knowledge Acquisition - Proceedings of EKAW'94 Springer-Verlag.

Major, N., Cupit, J. and Shadbolt, N. R. (1994) Applying the REKAP Methodology to Situation Assessment. A Future for Knowledge Acquisition - Proceedings of EKAW'94 Springer-Verlag.

Major, Nigel and O'Hara, Kieron (1994) Using Generalised Directive Models to Express Teaching Strategy Knowledge: A Description of COCA. (E.S.R.C. Centre for Research in Development, Instruction and Training Technical Report 9).

Major, Nigel and O'Hara, Kieron , Steels, Luc (ed.) (1994) Using Generalised Directive Models to Express Teaching Strategy Knowledge: A Description of COCA. (V.U.B. AI-Lab Technical Report 94-2).

Martinez, Kirk and Hart, Jane K (1994) The use of computer aided learning packages in glaciology and glacial geology. Journal of Glaciology, 39, 711-713.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In, 15th International Conference on Application and Theory of Petri Nets, ICATPN '94. Springer, 16-38.

Moreau, Luc (1994) The PCKS-machine. An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. In, European Symposium on Programming (ESOP'94) Springer-Verlag, 424.

Moreau, Luc and Queinnec, Christian (1994) Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators. In, International Conference on Programming Language Implementation and Logic Programming (PLILP'94) Springer-Verlag, 182.

Motta, E., O'Hara, K. and Shadbolt, N. R. (1994) Grounding GDMs: A Structured Case Study. International Journal of Human-Computer Studies, 40, 315-47.

Motta, E., O'Hara, K., Shadbolt, N. R., Stutt, A. and Zdrahal, Z. (1994) A Vital Solution to the Sisyphus II Elevator Design Problem. Proceedings of 8thBanff Knowledge Acquisition for Knowledge-Based Systems Workshop

Motta, Enrico, O'Hara, Kieron and Shadbolt, Nigel (1994) Grounding GDMs: A Structured Case Study. International Journal of Human-Computer Studies, 40, (3), 315-47.

Motta, Enrico, O'Hara, Kieron, Shadbolt, Nigel, Stutt, Arthur and Zdrahal, Zdenek (1994) A VITAL Solution to the Sisyphus II Elevator Design Problem. Proceedings of 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In, REX School '93. A Decade of Concurrency: Reflections and Perspectives. Springer, 425-476.

O'Hara, Kieron (1994) Mind as Machine: Can Computational Processes Be Regarded As Explanatory of Mental Processes? Worcester College, University of Oxford, Faculty of Philosophy : Faculty of Literae Humaniores, University of Oxford, and Worcester College, Oxford, Doctoral Thesis .

Sassone, V. (1994) An Approach to the Category of Net Computations. In, 6th Nordic Workshop on Programming Theory, NWPT '94. University of Aarhus, 385-399.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations.

Shadbolt, N. R. and Zhu, G. (1994) An Architecture for Dynamic, Rational, Mobile Agents. Proceedings of Intelligent Vehicles '94

Shire, A.J. and Lewis, Paul H. (1994) A Flexible Architecture For Intelligent Parallel Image Analysis. Dept of Electronics and Computer Science: 1994 Research Journal, 185--187.

Sivess, V. J. D. and Glaser, H. (1994) Coherent Metaphor Sequences in the Teaching of Programming. Software Engineering in Higher Education Computational Mechanics, 251-258.

Tennison, J. and Shadbolt, N. R. (1994) Living Documents.

Trindade, O and Zaluska, E J (1994) A High-Performance Shared-Memory Embedded Controller. Transputers '94 - Arc et Senans, France , 100-9.

Trindade, O and Zaluska, E J (1994) Real-time Monitoring of Concurrent Computation. SEMISH '94 - Minas Gerais, Brazil , 149-53.

Wallis, S., Shadbolt, N. R. and Cottam, H. (1994) Design Principles for Embedded AI: A Case Study. Proceedings of First European Conference of Cognitive Science in Industry '94

Wilkins, RJ, Griffiths, SJ, Hall, W, Lewis, PH and Davis, HC , Pickering, JA (ed.) (1994) The MAVIS Project - Extending Generic Links and Content Based Retrieval to Non-textual Documents in the Microcosm Model. , Department of Electronics & Computer Science, University of Southampton

Wilkins, RJ, Griffiths, SJ, Hall, W, Lewis, PH and Davis, HC (1994) A Survey of Image Database Technology. , Department of Electronics & Computer Science, University of Southampton

Zhu, G. and Shadbolt, N. R. (1994) A Hybrid Approach to the Automatic Planning of Textual Structures. Proceeding of the 15th International Conference on Computational Linguistics

This list was generated on Tue Sep 2 04:18:34 2014 BST.