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

Group by: No Grouping | Authors/Creators | Item Type

Number of items: 58.

Article

Resolution Theorem Proving in Reified Model Logics - J. Aitken, H. Reichgelt and N. R. Shadbolt

Type: Article | 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.

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.

Radiative Corrections to Higgs Boson Masses in the Next-To-Minimal Supersymmetric Standard Model - T. Elliott, S. F. King and P. L. White

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

Hypermedia Link Services and Their Application to Multimedia Information Management - W Hall and H.C. Davis

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

Computation Is Just Interpretable Symbol Manipulation: Cognition Isn't - Stevan Harnad

Type: Article | 1994

The Convergence Argument in Mind-Modelling: Scaling Up from Toyland to the Total Turing Test - Stevan Harnad

Type: Article | 1994

Levels of Functional Equivalence in Reverse Bioengineering: The Darwinian Turing Test for Artificial Life - Stevan Harnad

Type: Article | 1994

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.

A Portable Parallel Programming Environment based around PCTE - S A Hellberg and E J Zaluska

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

The use of computer aided learning packages in glaciology and glacial geology - Kirk Martinez and Jane K Hart

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

Grounding GDMs: A Structured Case Study - Enrico Motta, Kieron O'Hara and Nigel Shadbolt

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

A Flexible Architecture For Intelligent Parallel Image Analysis - A.J. Shire and Paul H. Lewis

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

Living Documents - J. Tennison and N. R. Shadbolt

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

Book

Movement Control

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

Book Section

Media integration issues in open hypermedia systems - H. Davis, W. Hall and I. Heath

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

Conference or Workshop Item

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

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

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.

REKAP, A Methodology for the Automated Construction of Real-Time and Distributed Knowledge-Based Systems - J. Cupit, N. Major, N. R. Shadbolt, R. Smith and J. Clare

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

Representational Redescription within Knowledge Intensive Data-Mining - J. Cupit and N. R. Shadbolt

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.

Microcosm: an Architecture for Integrating Third Party Applications - HC Davis, W Hall and I Heath

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

Light Hypermedia Link Services: A Study of Third Party Application Integration - Hugh C. Davis, S. Knight and Wendy Hall

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

Extracting curvilinear features from remotely sensed images using minimum cost path techniques - Mark R. Dobie and Paul H. Lewis

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.

Bounding the Higgs Boson mass in the next-to-minimal supersymmetric standard model - T. Elliott

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

An application of a functional language in Operational Research - P. H. Hartel and H. Glaser

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

Extending the Microcosm Model to a Distributed Environment - Gary J. Hill and Wendy Hall

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.

On the Model of Computation of Place/Transition Petri Nets - J. Meseguer, U. Montanari and V. Sassone

Type: Conference or Workshop Item | 1994

The PCKS-machine. An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations - Luc Moreau

Type: Conference or Workshop Item | 1994

Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators - Luc Moreau and Christian Queinnec

Type: Conference or Workshop Item | 1994

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

An Approach to the Category of Net Computations - V. Sassone

Type: Conference or Workshop Item | 1994

An Architecture for Dynamic, Rational, Mobile Agents - N. R. Shadbolt and G. Zhu

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

Coherent Metaphor Sequences in the Teaching of Programming - V. J. D. Sivess and H. Glaser

Type: Conference or Workshop Item | 1994

A High-Performance Shared-Memory Embedded Controller - O Trindade and E J Zaluska

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

Real-time Monitoring of Concurrent Computation - O Trindade and E J Zaluska

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.

A Hybrid Approach to the Automatic Planning of Textual Structures - G. Zhu and N. R. Shadbolt

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

Monograph

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.

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.

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.

Using Generalised Directive Models to Express Teaching Strategy Knowledge: A Description of COCA - Nigel Major and Kieron O'Hara

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

Using Generalised Directive Models to Express Teaching Strategy Knowledge: A Description of COCA - Nigel Major and Kieron O'Hara

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

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

Type: Monograph | 1994

The MAVIS Project - Extending Generic Links and Content Based Retrieval to Non-textual Documents in the Microcosm Model - 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.

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.

Thesis

Structure and Hypertext - Leslie Carr

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

Mind as Machine: Can Computational Processes Be Regarded As Explanatory of Mental Processes? - Kieron O'Hara

Type: Thesis | 1994

This list was generated on Tue Apr 23 02:14:47 2024 BST.

Export as	Atom RSS 1.0 RSS 2.0