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.

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..

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.

British political parties online: consumerist democracy? (1997)
Presentation / Conference Contribution
Smith, C. F. (1997, September). British political parties online: consumerist democracy?. Paper presented at XIth meeting of the Permanent Study Group on Informatization in Public Administration, European Group of Public Administration Annual Conference

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..

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.

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..

Speedup Image Processing (1996)
Presentation / Conference Contribution
Kerridge, J. M., England, R., Yanev, S., Boyanov, K., & Sinyagina, N. (1996, September). Speedup Image Processing. Presented at Parcella 1996, VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Germany

Discrete-Event Simulation of a Parallel Database Machine (1996)
Presentation / Conference Contribution
Iliev, R., Lazarov, V., Kerridge, J. M., England, R., & Boyanov, K. (1996, September). Discrete-Event Simulation of a Parallel Database Machine. Presented at Parcella 1996, VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Germany

The design of the IRISS parallel database machine (1996)
Presentation / Conference Contribution
Walter, D., & Kerridge, J. (1996, April). The design of the IRISS parallel database machine. Presented at High-Performance Computing and Networking: International Conference and Exhibition HPCN EUROPE 1996, Brussels, Belgium

The decision support potential of large commercial relational databases is limited by the vast amounts of computing power required to perform complex queries on large datasets. Massively parallel processing offers the potential to open up new possibi... Read More about The design of the IRISS parallel database machine.

Interfaces to Databases (IDS-3), Proceedings of the 3rd International Workshop on Interfaces to Databases, Napier University, Edinburgh, 8-10 July 1996. (1996)
Presentation / Conference Contribution
(1996, July). Interfaces to Databases (IDS-3), Proceedings of the 3rd International Workshop on Interfaces to Databases, Napier University, Edinburgh, 8-10 July 1996. Presented at 3rd International Workshop on Interfaces to Databases, Edinburgh

Topics discussed included: database interfaces; object oriented and active constructs; graphical user interface to VODAK object-oriented database system; desktop objects; DRIVE environment; query languages for geographic information systems; diagramm... Read More about Interfaces to Databases (IDS-3), Proceedings of the 3rd International Workshop on Interfaces to Databases, Napier University, Edinburgh, 8-10 July 1996..

Domain knowledge for interactive system design. (1996)
Presentation / Conference Contribution
Sutcliffe, A. G., Assche, F. V., & Benyon, D. (1996, May). Domain knowledge for interactive system design. Presented at TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design

This book describes how domain knowledge can be used in the design of interactive systems. It includes discussion of the theories and models of domain, generic domain architectures and construction of system components for specific domains. It draws... Read More about Domain knowledge for interactive system design..

Semantic computability: A mechanism for the description of test data sets for scaleable information systems (1996)
Presentation / Conference Contribution
Bates, C., Jelly, I., Forgacs, I., Szabo, E., & Kerridge, J. (1996, April). Semantic computability: A mechanism for the description of test data sets for scaleable information systems. Presented at International Conference and Exhibition HPCN EUROPE 1996, Brussels, Belgium

This paper describes a mechanism, semantic computability, through which data can be described in such a way as to enable the automated creation of structured, scaleable data sets for performance evaluation. The approach is demonstrated with reference... Read More about Semantic computability: A mechanism for the description of test data sets for scaleable information systems.

The skull beneath the skin: entity-relationship models of information artifacts (1996)
Journal Article
Green, T. R. G., & Benyon, D. (1996). The skull beneath the skin: entity-relationship models of information artifacts. International Journal of Human-Computer Studies, 44(6), 801-828. https://doi.org/10.1006/ijhc.1996.0034

Data modelling reveals the internal structure of an information system, abstracting away
from details of the physical representation. We show that entity-relationship modelling, a
well-tried example of a data-modelling technique, can be applied to... Read More about The skull beneath the skin: entity-relationship models of information artifacts.