Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Web and Internet Science in 1994
(Grouped by Nothing)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 62.

Cordo, P. J. 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 . pp. 103-129.

Aitken, S., Schmalhofer, F. and Shadbolt, N. R. (1994) A Knoowledge Level Characterisation of Multi-Agent Systems. In: Proceedings of the Workshop on Formal Methods 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.

Carr, L. A., Barron, D. W., Davis, H. C. and Hall, W. (1994) Why Use HyTime? Electronic Publishing: Origination, Dissemination and Design, 7 (3).

Carr, L. A., Hall, W., Davis, H. C., DeRoure, D. C. and Hollom, R. (1994) The Microcosm Link Service and its Application to the World Wide Web. In: Proceedings of the First WWW Conference, Geneva..

Carr, L. (1994) Structure and Hypertext. PhD thesis, University of Southampton.

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 . pp. 315-341.

Cottam, H., Willis, S. and Shadbolt, N. R. (1994) Using AI Techniques to Aid Repair Estimation. In: 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. In: Proceedings of the 14th International Avignon Conference AI'94.

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

Cupitt, J. and Martinez, K. (1994) Image processing for Museums. In: pp. 133-147, John Wiley. ISBN 0471939412

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

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

Davis, H. C., Knight, S. J. and Hall, W. (1994) Enabling Applications for Hypertext Funcitonality. Technical Report , UNSPECIFIED, UNSPECIFIED.

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

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

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

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

Dobie, M. R., Lewis, P. H. and Nixon, M. S. (1994) Curvilinear Network Extraction from Remotely Sensed Images. In: 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. In: Proceedings of AIPS-94.

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

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

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). pp. 197-202.

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

Harnad, S. (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 . pp. 35-39.

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

Harrison, R., Samaraweera, L. G., Dobie, M. R. and Lewis, P. H. (1994) Relating Product Metrics to Process Attributes: An Empirical Investigation. Technical Report , UNSPECIFIED, University of Southampton.

Hartel, P. H. and Glaser, H. (1994) An application of a functional language in Operational Research. In: Research Journal. pp. 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). pp. 127-173. ISSN ISSN 0038-0644

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

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

Hill, G. J., Hall, W. and De Roure, D. (1994) Towards a Distributed Model for Microcosm. Technical Report , UNSPECIFIED, UNSPECIFIED.

Hutchings, G. A., Hall, W., Davis, H. C. and White, S. A. (1994) Resource Based Learning: Creating Reusable Hypermedia for Education. In: Proceedings onf MediaActive'94, Liverpool.

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

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

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

Major, N. and O'Hara, K. (1994) Using Generalised Directive Models to Express Teaching Strategy Knowledge: A Description of COCA. Technical Report , UNSPECIFIED, E.S.R.C. Centre for Research in Development, Instruction and Training, Dept. of Psychology, University of Nottingham.

Major, N. and O'Hara, K. (1994) Using Generalised Directive Models to Express Teaching Strategy Knowledge: A Description of COCA. Technical Report , UNSPECIFIED, Free University of Brussels.

Martinez, K. and Hart, J. K. (1994) The use of computer aided learning packages in glaciology and glacial geology. Journal of Glaciology, 39 . pp. 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.. pp. 16-38.

Moreau, L. (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). p. 424.

Moreau, L. and Queinnec, C. (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). p. 182.

Motta, E., O'Hara, K. and Shadbolt, N. R. (1994) Grounding GDMs: A Structured Case Study. International Journal of Human-Computer Studies, 40 . pp. 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. In: Proceedings of 8thBanff Knowledge Acquisition for Knowledge-Based Systems Workshop.

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

Motta, E., O'Hara, K., Shadbolt, N., Stutt, A. and Zdrahal, Z. (1994) A VITAL Solution to the Sisyphus II Elevator Design Problem. In: 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.. pp. 425-476.

O'Hara, K. (1994) Mind as Machine: Can Computational Processes Be Regarded As Explanatory of Mental Processes? PhD thesis, Worcester College, University of Oxford.

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

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations. Technical Report TD-6-94, Dipartimento di Informatics, Università di Pisa.

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

Shire, A. J. and Lewis, P. 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. In: Software Engineering in Higher Education. pp. 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. In: Transputers '94 - Arc et Senans, France. pp. 100-9.

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

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

Wilkins, R. J., Griffiths, S. J., Hall, W., Lewis, P. H. and Davis, H. C. (1994) The MAVIS Project - Extending Generic Links and Content Based Retrieval to Non-textual Documents in the Microcosm Model. Technical Report , UNSPECIFIED, UNSPECIFIED.

Wilkins, R. J., Griffiths, S. J., Hall, W., Lewis, P. H. and Davis, H. C. (1994) A Survey of Image Database Technology. Technical Report , UNSPECIFIED, UNSPECIFIED.

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

This list was generated on Fri Dec 19 00:52:45 2014 GMT.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints