The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Web & Internet Science (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Web & Internet Science (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Web & Internet Science (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Web and Internet Science > Web & Internet Science (pre 2018 reorg)
School of Electronics and Computer Science > Web and Internet Science > Web & Internet Science (pre 2018 reorg)" and Year is 1994

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

Type: Book | 1994 | Cambridge University Press | Item not available on this server.

Resolution Theorem Proving in Reified Model Logics - J. Aitken, H. Reichgelt and N. R. Shadbolt
Type: Article | 1994

A Knowledge Level Characterisation of Multi-Agent Systems - S. Aitken, F. Schmalhofer and N. R. Shadbolt
Type: Conference or Workshop Item | 1994

Knowledge Level Planning - S. Aitken and N. R. Shadbolt
Type: Conference or Workshop Item | 1994

Why Use HyTime? - Les A. Carr, David W. Barron, Hugh C. Davis and Wendy Hall
Type: Article | 1994 | Item not available on this server.

The Microcosm Link Service and its Application to the World Wide Web - Les A. Carr, Wendy Hall, Hugh C. Davis, David C. DeRoure and R. Hollom
Type: Conference or Workshop Item | 1994

Type: Thesis | 1994 | Item not available on this server.

Laddering: Techniques and Tool Use in Knowledge Acquisition - C. Corbridge, G. Rugg, N. Major, N. R. Shadbolt and A. Burton
Type: Article | 1994 | Item not available on this server.

Using AI Techniques to Aid Repair Estimation - H. Cottam, S. Willis and N. R. Shadbolt
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Image processing for Museums - J. Cupitt and K. Martinez
Type: Conference or Workshop Item | 1994 | John Wiley & Sons | Item not available on this server.

Type: Book Section | 1994 | Pentech Press | Item not available on this server.

Enabling applications for hypertext functionality - H.C. Davis, S.J. Knight and W. Hall
Type: Monograph | 1994 | University of Southampton | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994

A Distributed LISP-STAT Environment - David C. DeRoure and Danius T. Michaelides
Type: Conference or Workshop Item | 1994

Data structures for image processing in C - Mark R. Dobie and Paul H. Lewis
Type: Conference or Workshop Item | 1994

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Automatic Derivation of World Update Schemes - J. Downs, H. Reichgelt and N. R. Shadbolt
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Parallel Processing in High Integrity Aircraft Engine Control - S H Duncan, P L Gordon, S I Edwards and E J Zaluska
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Article | 1994 | Item not available on this server.

Type: Article | 1994 | Item not available on this server.

Type: Article | 1994

Type: Article | 1994

Type: Article | 1994

Relating Product Metrics to Process Attributes: An Empirical Investigation - R. Harrison, L.G. Samaraweera, Mark R. Dobie and Paul H. Lewis
Type: Monograph | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Compilation of functional languages using flow graph analysis - P. H. Hartel, H. Glaser and J. M. Wild
Type: Article | 1994 | Item not available on this server.

Type: Article | 1994 | Item not available on this server.

Towards a Distributed Model for Microcosm - GJ Hill, W Hall and D De Roure
Type: Monograph | 1994 | Department of Electronics and Computer Science, University of Southampton | Item not available on this server.

Type: Conference or Workshop Item | 1994

Resource Based Learning: Creating Reusable Hypermedia for Education - GA Hutchings, W Hall, HC Davis and SA White
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Curvilinear network extraction from remotely sensed images - P.H. Lewis, M.R. Dobie and M.S. Nixon
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Applying the REKAP Methodology to Situation Assessment - N. Major, J. Cupit and N. R. Shadbolt
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Monograph | 1994 | Item not available on this server.

Type: Monograph | 1994 | Item not available on this server.

Type: Article | 1994 | Item not available on this server.

On the Model of Computation of Place/Transition Petri Nets - J. Meseguer, U. Montanari and V. Sassone
Type: Conference or Workshop Item | 1994

Type: Conference or Workshop Item | 1994

Type: Conference or Workshop Item | 1994

Grounding GDMs: A Structured Case Study - Enrico Motta, Kieron O'Hara and Nigel Shadbolt
Type: Article | 1994 | Item not available on this server.

A VITAL Solution to the Sisyphus II Elevator Design Problem - Enrico Motta, Kieron O'Hara, Nigel Shadbolt, Arthur Stutt and Zdenek Zdrahal
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Relationships between Models for Concurrency - M. Nielsen, V. Sassone and G. Winskel
Type: Conference or Workshop Item | 1994

Type: Thesis | 1994

Type: Conference or Workshop Item | 1994

Type: Monograph | 1994

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Article | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994

Living Documents - J. Tennison and N. R. Shadbolt
Type: Article | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

Design Principles for Embedded AI: A Case Study - S. Wallis, N. R. Shadbolt and H. Cottam
Type: Conference or Workshop Item | 1994 | Item not available on this server.

Type: Monograph | 1994 | Department of Electronics and Computer Science, University of Southampton | Item not available on this server.

A Survey of Image Database Technology - RJ Wilkins, SJ Griffiths, W Hall, PH Lewis and HC Davis
Type: Monograph | 1994 | Department of Electronics and Computer Science, University of Southampton | Item not available on this server.

Type: Conference or Workshop Item | 1994 | Item not available on this server.

This list was generated on Tue Nov 19 02:17:56 2024 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×