Systems, Interactions, and Macrotheory (2008)
Philip Barnard, Jon May, David Duke, David Duce
A significant proportion of early HCI research was guided by one very clear vision: that the existing theory base in psychology and cognitive science could be developed to yield engineering tools for...
Meshing with Grids: Toward functional abstractions for grid-based visualization (2008)
Rita Borgo, David Duke, Malcolm Wallace, Colin Runciman
A challenge for grid computing is finding abstractions that separate concerns about what a grid application must achieve from the specific resources on which it might be deployed. One approach, taken...
interactive systems, and computer graphics; he is a Lecturer in the Department (2008)
David Duke, Philip Barnard, Mrc Cognition, Brain Sciences Unit
David Duke is a computer scientist with an interest in formal methods,
Macrotheory for Systems (2008)
Of Interactors, Philip Barnard, David Duke, David Duce
2 In less than a quarter of a century information technologies and their users have diversified into an extraordinary range of sociotechnical ecosystems. Few would disagree with the proposition that...
Publication in the Proceedings of Vision, Modeling, and (2008)
Author(s) Rita Borgo, David Duke, Malcolm Wallace, Edited T. Aach, C. Bischof, L. Kobbelt, ...
Copyright to the above work (including without limitation, the right to publish the work in whole or in part in any and all forms of media, now or hereafter known) is owned by the editors of Vision,...
A Case Study in the Speci cation and Analysis of Design Alternatives for a User Interface (2008)
David Duke, Bob Fields, Michael D. Harrison
Abstract. There is considerable interest within the Human Computer Interaction (HCI) community in the use of media spaces to enhance awareness and interaction between workers in o ces or other...
Kate A. Smith, David Abramson, David Duke
This paper considers the use of discrete Hopfield neural networks for solving school timetabling problems. Two alternative formulations are provided for the problem: a standard Hopfield-Tank...
S. P. Smith, Marcelino Cabrera, David Duke, Nicholas Graham, Panos Markopoulos, Miguel Gea Megias, ...
Working group one focused on problems associated with the use of distributed applications. Initially several possible topics of discussion were considered including the growth of the world wide web...
Mieke Massink, David Duke, Shamus Smith, Via S. Maria
Abstract. Many new multi-modal interaction techniques have been proposed for interaction in a virtual world. Often these techniques are of a hybrid nature combining continuous interaction, such as...
Two Formal Approaches to Modelling Cognitive Aspects of HCI (2007)
Giorgio Faconti Mieke, Giorgio Faconti, Mieke Massink, David Duke
Nowadays it is widely recognised that in the design of software it is important to take human factors into consideration. The cognitive aspects of human computer interaction form an important and...
David Abramson, Kate Smith, Paul Logothetis, David Duke
This paper discusses the implementation of Hopfield neural networks for solving constraint satisfaction problems using Field Programmable Gate Arrays (FPGAs). It discusses techniques for formulating...
The use of visualization to explore and understand data is often partitioned into two areas, scientific visualization in which the data sets are typically derived from measurements or simulations...
Abstract A Shared Framework of Virtual Reality (2007)
Timothy Marsh, Peter Wright, Shamus Smith, David Duke
The problem in trying to pin down or provide a universally acceptable definition of virtual reality is that it is still evolving. Virtual reality comes in many guises for which there is no dominant...
Abstract Modelling Interaction in Virtual Environments (2007)
Shamus Smith, David Duke, Tim Marsh, Michael Harrison, Peter Wright
This paper presents some early research from the INQUISITIVE project on abstracting models of interaction in virtual environments away from technological constraints with an aim to providing general...
Abstract Drowning in Immersion (2007)
Shamus Smith, Tim Marsh, David Duke, Peter Wright
It is commonly believed, but not proven, that virtual reality attains its power by captivating the user's attention to induce a sense of immersion [1] and presence [2]. This is what sets virtual...
Robust Real-Time Local Laser Scanner Registration with Uncertainty Estimation (2007)
Carlson, Justin, Thorpe, Charles, Duke, David
We present a fast, robust method for registering successive laser rangefinder scans. Correspondences between the current scan and previous scans are determined. Gaussian uncertain- ties of the...
Robust Real-Time Local Laser Scanner Registration with Uncertainty Estimation (2007)
Carlson, Justin, Thorpe, Charles, Duke, David
We present a fast, robust method for registering successive laser rangefinder scans. Correspondences between the current scan and previous scans are determined. Gaussian uncertain- ties of the...
Borgo, Rita, Duke, David, Wallace, Malcolm, Runciman, Colin
The past two decades have seen visualization flourish as a research field in its own right, with advances on the computational challenges of faster algorithms, new techniques for datasets too large...
Fine-grained visualization pipelines and lazy functional languages (2006)
Duke, David, Walllace, Malcolm, Rita, Borgo, Colin, Runciman
The pipeline model in visualization has evolved from a conceptual model of data processing into a widely used architecture for implementing visualization systems. In the process, a number of...
Fine-grained visualization pipelines and lazy functional languages (2006)
Author(s) David Duke, David Duke, Malcolm Wallace, Malcolm Wallace, Rita Borgo, Rita Borgo, ...
"This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All...
Fine-grained visualization pipelines and lazy functional languages (2006)
David Duke, Malcolm Wallace, Rita Borgo, Colin Runciman
Abstract—The pipeline model in visualization has evolved from a conceptual model of data processing into a widely used architecture for implementing visualization systems. In the process, a number...
PUMA PROGRAMMABLE USER MODELLING APPLICATIONS (2000)
Richard Butterworth, Ann Blandford, David Duke, Principal Investigator, Prof Ann, Jason Good, ...
Demonstrating the cognitive plausibility of interactive system specifications
Using the Resources Model in virtual environment design (1999)
Shamus Smith, David Duke, Peter Wright
Traditionally, the development of virtual environments (VEs) has been limited to particular technologies and the associated constraints on environment definition and interaction. However, with...
Using CSP to specify interaction in virtual environments (1999)
Abstract. Virtual environments are made up of many components that are typically specified at different levels of rigour. To date, emphasis on developing the technology underlying these components...
Using the Resources Model in virtual environment design (1999)
Shamus Smith, David Duke, Peter Wright
Position Paper for the Workshop on User Centered Design and
The Changing Face of Standardization: A Place for Formal Methods? (1999)
David Duke, David Duke, Giorgio Faconti, Giorgio Faconti, Ivan Herman, Ivan Herman
. Many of the reported experiences in the industrial use of formal methods concern the development of products or product families, where the utility of the method is linked to direct savings in...
PREMO: A framework for multimedia middleware - Specification, rationale, and Java binding (1999)
M. Scott Marshall, Ivan Herman, David Duke
types are non-instantiable, i.e. it is not possible to have an object which has an abstract type as its immediate type. Instead, any behaviour of an abstract type must be accessed through instances...
Using CSP to Specify Interaction in Virtual Environments (1999)
. Virtual environments are made up of many components that are typically specified at different levels of rigour. To date, emphasis on developing the technology underlying these components has meant...
The Hybrid World of Virtual Environments (1999)
Shamus Smith, David Duke, Mieke Massink
Much of the work concerned with virtual environments has addressed the development of new rendering technologies or interaction techniques. As the technology matures and becomes widely available,...
Virtual Environments as Hybrid Systems (1999)
Shamus Smith And, Shamus Smith, David Duke
The development of virtual environments (VEs) is a non-trivial task. Many VEs are based around particular technologies and developed using ad hoc prototyping. This is undesirable if any formal...
Using CSP to Specify Interaction in (1999)
Virtual Environments Shamus, Shamus Smith, David Duke
Virtual environments are made up of many components that are typically specified at different levels of rigour. To date, emphasis on developing the technology underlying these components has meant...
Shamus Smith, Tim Marsh, David Duke, Peter Wright
It is commonly believed, but not proven, that virtual reality attains its power by captivating the user's attention to induce a sense of immersion [1] and presence [2]. This is what sets virtual...
Modelling Interaction in Virtual Environments (1998)
Shamus Smith, David Duke, Tim Marsh, Michael Harrison, Peter Wright
This paper presents some early research from the INQUISITIVE project on abstracting models of interaction in virtual environments away from technological constraints with an aim to providing general...
Formality and User Modelling in the Design of Interactive Systems (1998)
Modelling Applications, Industrial Collaborator, Sue Milner, Praxis Critical, Richard Butterworth, Richard Butterworth, ...
In order to evaluate the usability of a proposed device the designer must make assumptions about the behaviour of the user population. This paper addresses how user assumptions can be expressed...
The Role of Formal Proof in Modelling Interactive Behaviour (1998)
Modelling Applications, Industrial Collaborator, Sue Milner, Praxis Critical, Richard Butterworth, Richard Butterworth, ...
This paper discusses and exemplifies some of the trade-o#s that need to be considered when proving properties of formally modelled interactive systems. The properties we are interested in concern the...
A Shared Framework of Virtual Reality (1998)
Tim Marsh, Peter Wright, Shamus Smith, David Duke
The problem in trying to pin down or provide a universally acceptable definition of virtual reality is that it is still evolving. Virtual reality comes in many guises for which there is no dominant...
Formal User Models and Methods for Reasoning About Interactive Behaviour (1998)
Richard Butterworth, Ann Blandford, David Duke, Richard Young
User models allow for usability decisions to be made about abstract system designs. Programmable User Models are one such approach to user modelling; they have been developed over the past decade so...
Formal User Models as a Design Tool for Interactive Systems (1998)
Modelling Applications, Industrial Collaborator, Sue Milner, Praxis Critical, Richard Butterworth, Richard Butterworth, ...
We discuss and exemplify how formal user models can be integrated into a formal development life-cycle. Doing so allows for usability criteria to be addressed during design as opposed to in a...
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface (1998)
David Duke, Bob Fields, Michael D. Harrison
There is considerable interest within the Human Computer Interaction (HCI) community in the use of media spaces to enhance awareness and interaction between workers in offices or other spatially...
Deriving Modular Designs from Formal Specifications: The Analysis Phase (1993)
David Carrington And, David Carrington, David Duke, Ian Hayes, Jim Welsh
As part of a project investigating modularity in the formal development of software, we have investigated approaches for deriving a set of module interfaces from a formal specification. Rather than...
Deriving Modular Designs from. . . (1993)
David Carrington, David Duke, Ian Hayes, Jim Welsh
We consider the problem of designing the top-level modular structure of an implementation. Our starting point is a formal specification of the system. Our approach is to analyse the references to the...
Esprit Basic, D. J. Duke, David Duke
: The objective of `virtual reality' is to provide the user or operator of a system with a sense of interacting directly with some application-oriented world, as opposed to a computer mediated...