Skip to main content

Research Repository

Advanced Search

A discrete formalism for reasoning about action and change (1997)
Presentation / Conference Contribution
Knight, B., Ma, J., & Peng, T. (1997, July). A discrete formalism for reasoning about action and change. Presented at The Twelfth International Conference on Artificial Intelligence in Engineering

No abstract available.

Collaborative notebooks for the virtual workplace. (1997)
Book Chapter
Turner, P., Green, S., Turner, S., & Mayne, P. (1997). Collaborative notebooks for the virtual workplace. In M. Igbaria, & M. Tan (Eds.), The Virtual Workplace (187-198). Idea Press

Distance estimation in minimal virtual reality environments. (1997)
Presentation / Conference Contribution
Turner, P., & Turner, S. (1997, November). Distance estimation in minimal virtual reality environments

This paper reports on an experimental study into distance estimation in a simple virtual environment. The results have been then compared with an experimental study of spatial cognition in the real world. It is concluded that the minimal virtual envi... Read More about Distance estimation in minimal virtual reality environments..

Supporting cooperative working using shared notebooks. (1997)
Presentation / Conference Contribution
Turner, P., & Turner, S. (1997, September). Supporting cooperative working using shared notebooks

This paper discusses the use of a shared cooperative notebook by a group of software engineers and support staff distributed over two sites. The design: of the notebook is described and results of the pilot trial reported It was found that the system... Read More about Supporting cooperative working using shared notebooks..

Large join order optimization on parallel shared-nothing database machines using genetic algorithms (1997)
Presentation / Conference Contribution
Nafjan, K. A., & Kerridge, J. M. (1997, August). Large join order optimization on parallel shared-nothing database machines using genetic algorithms. Presented at Euro-Par'97 Parallel Processing: Third International Euro-Par Conference, Passau, Germany

This paper proposes the use of genetic algorithms (GAs) for optimizing the sequence of large joins execution on parallel shared-nothing database architectures. In order to measure the suitability of this method we compare the GA that we have specific... Read More about Large join order optimization on parallel shared-nothing database machines using genetic algorithms.

Representing temporal relationships between events and their effects. (1997)
Presentation / Conference Contribution
Ma, J., Knight, B., & Peng, T. (1997, May). Representing temporal relationships between events and their effects. Presented at 4th Workshop on Temporal Representation and Reasoning

Temporal relationships between events and their effects
are complex. As the ejjects of a given event, a
proposition may change its truth value immediately after
the occurrence of the event and remain true until some
other events occur, while anot... Read More about Representing temporal relationships between events and their effects..

Intelligent storage devices for scalable information management systems (1997)
Journal Article
Kukla, R., & Kerridge, J. (1997). Intelligent storage devices for scalable information management systems. Future Generation Computer Systems, 12(5), 335-344. https://doi.org/10.1016/S0167-739X%2896%2900020-9

For most large commercial organisations the ability to store and manipulate massive volumes of data is a key operational requirement. Database systems are fundamental to the efficient provision of a range of business tasks from on-line transaction pr... Read More about Intelligent storage devices for scalable information management systems.

Seeing the wood for the trees (1997)
Presentation / Conference Contribution
Turner, P., Rogers, A. R., Turner, S., & Ellman, J. (1997, November). Seeing the wood for the trees. Presented at 3rd ERCIM Workshop on "User Interfaces for All"

This paper describes the work in progress of the TREE project. TREE is a European-funded language engineering project addressing the issue of advertising and accessing employment opportunities across Europe. Advertisements for jobs will be stored in... Read More about Seeing the wood for the trees.

Expectations and experiences of CSCW in an engineering environment. (1996)
Journal Article
Turner, S., & Turner, P. (1996). Expectations and experiences of CSCW in an engineering environment. Computer Supported Cooperative Work, 1, 237-254

Existing organisational context and user expectations have a huge effect on the
success of introducing CSCW technology, and should have a correspondingly strong
influence on the choice and design of these tools. This paper first discusses
organisa... Read More about Expectations and experiences of CSCW in an engineering environment..

From tasks to domains: data centred design. (1996)
Book Chapter
Benyon, D. (1996). From tasks to domains: data centred design. In D. Benyon, & P. Palanque (Eds.), Critical Issues in User Interface Systems Engineering. Springer-Verlag

Applied PC interfacing, graphics and interrupts. (1996)
Book
Buchanan, W. J. (1996). Applied PC interfacing, graphics and interrupts. Addison Wesley

Using good practical examples, this new book introduces the reader to the component parts of a PC, showing how high and low level languages communicate with them, and how computers communicate with peripherals.

A plug-in disk-Interface-process for the WSQL data access controller. (1996)
Presentation / Conference Contribution
Kerridge, J., & Kukla, R. (1996, March). A plug-in disk-Interface-process for the WSQL data access controller. Presented at WoTUG '96 19th world occam and transputer user group technical meeting on Parallel processing developments

As part of the development of a disk based storage subsystem for a database machine, a disk interface process has been designed, exploiting parallel processing features of the transputer. In a step-by-step approach design-decisions are presented and... Read More about A plug-in disk-Interface-process for the WSQL data access controller..

Lessons from experience: making theorem provers more co-operative. (1996)
Presentation / Conference Contribution
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996, December). Lessons from experience: making theorem provers more co-operative. Presented at 2nd Workshop on User Interfaces for Theorm Provers

We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove theorems in a semi-automated theorem proving system. We describe various unde... Read More about Lessons from experience: making theorem provers more co-operative..

Temporal reasoning about action and change. (1996)
Book Chapter
Ma, J., Knight, B., & Peng, T. (1996). Temporal reasoning about action and change. In K. Anjaneyulu, M. Sasikumar, & S. Ramani (Eds.), Knowledge Based Computer Systems - Research and Applications (193-204). Narosa Publishing House