David Vernon

182 published titles

State of the art review of distributed operating systems and programming languages : (ESPRIT project 834)

(Contributor)

1 edition

Transparent Stable Memory using transputers

(Contributor)

1 edition

Transparent Stable memory

(Contributor)

1 edition

The case for Transparent Stable memory

(Contributor)

1 edition

Sticks and Stones

(Contributor)

1 edition

Unified access to distributed heterogenous databases

(Contributor)

1 edition

The design of an efficient and extensible system for performing semantic query optimisation

(Contributor)

1 edition

Security considerations in a network management environment

(Contributor)

1 edition

Metadata management in a multidatabase environment

(Contributor)

1 edition

Surface element visibility bounding in the rendering of grid-defined surfaces

(Contributor)

1 edition

Internal and covering scan-conversion of convex polygons

(Contributor)

1 edition

Scheduling predicates

(Contributor)

1 edition

Modelling physical systems

(Contributor)

1 edition

Model-based 3-D object recognition using scalar transform descriptors

(Contributor)

1 edition

Simple pinhole camera calibration

(Contributor)

1 edition

3-D object recognition using passively sensed range data

(Contributor)

1 edition

X versus Eiffel Toolkits for building graphical user interfaces

(Contributor)

1 edition

Some ideas on support for fault tolerance in COMANDOS, an object oriented distributed system

(Contributor)

1 edition

Designing UIMS for interactive graphical applications in CIM

(Contributor)

1 edition

Stable memory another look

(Contributor)

1 edition

Design of an open network billing application

(Contributor)

1 edition

Failure & recovery in an object-oriented distributed system

(Contributor)

1 edition

Orla I : an advanced, fault-tolerant multiprocessor

(Contributor)

1 edition

Object recognition techniques

(Contributor)

1 edition

Implicit model matching as an approach to three-dimensional object recognition

(Contributor)

1 edition

Towards an adequate cognitive model of analogical mapping

(Contributor)

1 edition

Similarity & ordering constraints on analogical mapping

(Contributor)

1 edition

The role of pragmatic factors in analogical problem solving

(Contributor)

1 edition

Creativity, analogy & consciousness

(Contributor)

1 edition

Automatic inspection of solder joints on surface mount PCBs

(Contributor)

1 edition

VISP : a visual inspection sensor platform

(Contributor)

1 edition

A study of version control systems

(Contributor)

1 edition

Optical non-contact sensing of eye motion

(Contributor)

1 edition

The Sticks and Stones Project

(Contributor)

1 edition

A model-based theory of concept combination

(Contributor)

2 editions

Evaluating the combination of logic and object oriented techniques in support of telecommunications management systems

(Contributor)

2 editions

A framework for TMN computing platforms

(Contributor)

2 editions

On curried function composition

(Contributor)

2 editions

Reliability and robustness in industrial computer vision

(Contributor)

2 editions

An essay towards a new theory of vision : Berkeley in the modern context

(Contributor)

1 edition

Evaluating synchronisation mechanisms : the inheritance matrix

(Contributor)

1 edition

On object orientation as a paradigm for general purpose distributed operating systems

(Contributor)

2 editions

An object-oriented approach for replication management

(Contributor)

2 editions

Towards generic support for distributed information systems

(Contributor)

2 editions

Supporting object oriented languages on the Comandos platform

(Contributor)

2 editions

Supporting distributed applications in the Amadeus environment

(Contributor)

2 editions

Implementing atomic objects with the RelaX transaction facility

(Contributor)

2 editions

A cognitive model of attention switching

(Contributor)

2 editions

Supporting the Amadeus platform on UNIX

(Contributor)

2 editions

Current trends in EDI and X.400

(Contributor)

1 edition

Robot trajectory control

(Contributor)

1 edition

Natural language processing and information extraction from texts

(Contributor)

1 edition

Examining similarity

(Contributor)

1 edition

Automated physical modelling

(Contributor)

1 edition

Localist principles of meaning in a computational model of metaphor interpretation

(Contributor)

1 edition

Geometric transformation of images

(Contributor)

1 edition

Retrieving adaptable cases

(Contributor)

1 edition

Using world knowledge in conceptual combination

(Contributor)

1 edition

Retrieval issues in real-world CBR applications

(Contributor)

1 edition

Image processing for pattern analysis

(Contributor)

1 edition

Automatic detection of secondary creases in finger prints

(Contributor)

1 edition

Experience designing TMN computing platforms for contrasting TMN management applications

(Contributor)

1 edition

Modelling stone decay

(Contributor)

1 edition

Memory models : a formal analysis using VDM

(Contributor)

1 edition

Towards generality in modelling complex physical systems

(Contributor)

1 edition

Constraints on analogical mapping : a comparison of three models

(Contributor)

2 editions

Advanced image understanding and autonomous systems

(Contributor)

1 edition

Using gestures to interface with a virtual reality

(Contributor)

1 edition

Writing a simple remote operations program using ISODE 7.0

(Contributor)

1 edition

Evaluating synchronisation mechanisms: the inheritance matrix

(Contributor)

1 edition

Conceptual scaffolding : using metaphors to build knowledge structures

(Contributor)

1 edition

Conceptual combination : a theoretical review

(Contributor)

1 edition

Limitations of scientific ontology

(Contributor)

1 edition

An essay towards a New theory of vision: Berkeley in the modern context

(Contributor)

1 edition

Conceptual scaffolding : a spatially-founded meaning representation for metaphor comprehension

(Contributor)

1 edition

An optical hand pose tracking system

(Contributor)

1 edition

XACSE : connection set-up for broadband services using generic QoS parameters

(Contributor)

1 edition

Retrieval issues in CBR systems for routine and non-routine design

(Contributor)

1 edition

TuRTLe language reference manual

(Contributor)

1 edition

The simulation of a simple chaotic dynamical system using Walsh functions

(Contributor)

1 edition

A technique for monomodal histogram thresholding

(Contributor)

1 edition

Text analysis in office systems

(Contributor)

1 edition

Proceedings of the first Irish computer graphics workshop, Trinity College, Dublin, 2nd November, 1992

(Contributor)

1 edition

Sub-Pixel resolution for low cost SMT component placement inspection systems

(Contributor)

2 editions

Interfacing a language to the Commandos [i.e. Comandos] virtual machine

(Contributor)

1 edition

The Commandos [i.e. Comandos] supported programming languages

(Contributor)

1 edition

Implementing the Comandos virtual machine

(Contributor)

1 edition

Sharing objects in a distributed system

(Contributor)

1 edition

Effective retrieval in hospital information systems

(Contributor)

1 edition

Implementing a secure network service using ISODE 8.0 and OSISEC

(Contributor)

1 edition

The careful memory abstraction in stable storage

(Contributor)

1 edition

A VDM study of fault-tolerant stable storage - towards a computer engineering mathematics

(Contributor)

1 edition

3-D object pose determination

(Contributor)

1 edition

On mapped reduction

(Contributor)

1 edition

A gesture simulation language

(Contributor)

1 edition

A survey of gesture recognition techniques

(Contributor)

1 edition

Microeconomic theory applied to distributed systems

(Contributor)

1 edition

Complexity of adaptation in real-world case-based reasoning systems

(Contributor)

1 edition

Using CBR techniques to detect plagiarism in computing assignments

(Contributor)

1 edition

Design synthesis : a model of hierarchical case-based reasoning

(Contributor)

1 edition

The cognitive processes underlying complex analogies

(Contributor)

1 edition

Adaptation as a selection constraint on analogical mapping

(Contributor)

1 edition

A connectionist model of semantic memory for metaphor interpretation

(Contributor)

1 edition

Modelling of engineering thermal problems : an implementation using CBR with derivational analogy

(Contributor)

1 edition

Knowledge engineering requirements in derivational analogy

(Contributor)

2 editions

Removing the epistemological bias from empirical observation of neural models

(Contributor)

1 edition

Flexible multi-sensor inspection system for solder-joint analysis

(Contributor)

1 edition

Multi-sensor fusion to provide quantitative process characterisation

(Contributor)

1 edition

Eiffel** : an implementation of Eiffel on Amadeus, a persistent, distributed applications support environment

(Contributor)

1 edition

Requirements for parallel programming in object-oriented distributed systems

(Contributor)

1 edition

Unemployment - a technologist's perspective

(Contributor)

1 edition

Combining object-oriented systems and open transaction processing

(Contributor)

1 edition

Extensible systems - the Tigger approach

(Contributor)

1 edition

Raising the cub : distributed real-time support in Tigger

(Contributor)

1 edition

Micro-kernal [i.e. Micro-kernel] support for migration

(Contributor)

1 edition

The Comandos distributed application platform

(Contributor)

1 edition

Synchronisation variables

(Contributor)

1 edition

On the limitations of memory based reasoning

(Contributor)

1 edition

A comparison of model-based and incremental case-based approaches to electronic fault diagnosis

(Contributor)

1 edition

A comparison of incremental case-based reasoning and inductive learning

(Contributor)

1 edition

Experiments in adaptation-guided retrieval in case-based design

(Contributor)

1 edition

Remembering to forget : a competence-preserving case deletion policy for case-based reasoning systems

(Contributor)

1 edition

Analogical asides on case-based reasoning

(Contributor)

1 edition

Using neural networks to learn hand-eye co-ordination

(Contributor)

1 edition

Bézier curves for camera motion

(Contributor)

1 edition

Birds, jelly and Fr. Boscovitch

(Contributor)

1 edition

Retrieving reusable design cases : exploiting adaptation knowledge in design reuse

(Contributor)

1 edition

Rendering crystal glass

(Contributor)

1 edition

Adaptive splatting for specular to diffuse light transport

(Contributor)

1 edition

The role and impact of information technology in the small enterprise

(Contributor)

1 edition

Physical model generation in PDE analysis using model-based case-based reasoning

(Contributor)

1 edition

Secure pay-per-view testbed

(Contributor)

1 edition

Transfer between analogies : how solving one analogy problem helps to solve another

(Contributor)

1 edition

A review of the resource management task in ATM networks

(Contributor)

1 edition

On the automatic generation of case libraries by chunking chess games

(Contributor)

1 edition

Reconstruction of illumination from area luminaries

(Contributor)

1 edition

Epistemological issues in metaphor comprehension : a comparison of three models

(Contributor)

1 edition

On adaptation in analogy : tests of pragmatic-importance and adaptability in analogical problem solving

(Contributor)

1 edition

An improved translation of SA/RT specification model to high-level timed Petri nets

(Contributor)

1 edition

HyperMART : hypermedia and multimedia authoring and rendering tool

(Contributor)

1 edition

Developing an ATM video transfer service in a VINCE environment

(Contributor)

1 edition

Systems, tasks and adaptation knowledge in case-based reasoning

(Contributor)

1 edition

Making meta-object protocols practical for operating systems

(Contributor)

1 edition

Aspects - composing CSCW applications

(Contributor)

1 edition

An event-based object model for distributed programming

(Contributor)

1 edition

Personal adaptive mobility aid for the infirm and elderly : PAM-AID

(Contributor)

1 edition

What makes an analogy difficult? : IAM predicts the effects of order and causal relations on analogical mapping

(Contributor)

1 edition

Advanced electronic commerce security within a workflow environment

(Contributor)

1 edition

CBR in scheduling : reusing solution components

(Contributor)

1 edition

On the use of CBR in optimisation problems such as the TSP

(Contributor)

1 edition

Aontas : the CaberNet Technical Abstracts Service

(Contributor)

1 edition

Truth, proof and formal methods : philosophical background

(Contributor)

1 edition

Roo : a framework for real-time threads

(Contributor)

1 edition

MOONLIGHT : VOID shell specification

(Contributor)

1 edition

The VOID shell : a toolkit for the development of distributed video games and virtual worlds

(Contributor)

1 edition

The ECO model : events + constraints + objects

(Contributor)

1 edition

Open to suggestions : on adaptable, distributed application support architectures

(Contributor)

1 edition

Bill of materials : a rigorous approach

(Contributor)

1 edition

Fragile creatures : humour & metaphor on a catastrophic knife-edge

(Contributor)

1 edition

Where do "Soccer Moms" come from? : cognitive constraints on noun-noun compounding in English

(Contributor)

1 edition

Adaptation-guided retrieval in EBMT : a case-based approach to machine translation

(Contributor)

1 edition

The utility problem analysed : a case-based reasoning perspective

(Contributor)

1 edition

An object oriented DSM framework

(Contributor)

1 edition

Meta-object protocols for C++ : the Iguana approach

(Contributor)

1 edition

It's your choice : on design and implementation of a flexible metalevel architecture

(Contributor)

1 edition

An overview of the Tigger object-support operating system framework

(Contributor)

1 edition

Polysemy in conceptual combinations : testing the constraint theory of combination

(Contributor)

1 edition

Scalable secure cash payment for WWW resources with the Pay-Me protocol set

(Contributor)

1 edition

Learning adaptation rules from a case-base

(Contributor)

1 edition

ISAC : a CBR system for decision support in air traffic control

(Contributor)

1 edition

Case-based reasoning in scheduling : reusing solution components

(Contributor)

1 edition

What makes an analogy difficult? : the effects of order and causal structure on analogical mapping

(Contributor)

1 edition

Techniques for handling scale & distribution in virtual worlds

(Contributor)

1 edition

Spatial bounding of linear iterated function system attractor sets

(Contributor)

1 edition

Concurrent semantics for structured design methods

(Contributor)

1 edition

Flexibility in object-oiented [sic] operating systems : a review

(Contributor)

1 edition

On the inheritance of monoid properties in indexed structures

(Contributor)

1 edition

An algebraic proof in VDM

(Contributor)

1 edition

Active surveillance using dynamic background subtraction

(Contributor)

1 edition

Representational myopia in metaphor

(Contributor)

1 edition

Computability as a limiting cognitive constraint

(Contributor)

1 edition

The proper treatment of case-based planning

(Contributor)

1 edition