Outputs (41)

Accurate rapid simulation of urban traffic using discrete modelling. (1996)
Report
Russell, G., Shaw, P., & Ferguson, N. (1996). Accurate rapid simulation of urban traffic using discrete modelling

Increasing model complexity has traditionally been viewed as a key way of improving microscopic model accuracy. However, with complexity comes an increase in execution time. In some applications, such as UTC systems, low execution times and a high de... Read More about Accurate rapid simulation of urban traffic using discrete modelling..

Java: an explosion on the Internet. (1996)
Presentation / Conference Contribution
Read, T., & Hall, H. (1996, December). Java: an explosion on the Internet. Presented at 20th International Online Meeting

Summer 1995 saw the release, with considerable media attention, of draft versions of Sun Microsystems' Java language and the HotJava browser. In the past few months Java has been heralded as the latest "killer" technology in the Internet explosion. L... Read More about Java: an explosion on the Internet..

Extensions to a memetic timetabling system. (1996)
Presentation / Conference Contribution
Paechter, B., Cumming, A., Norman, M. G., & Luchian, H. (1995, August). Extensions to a memetic timetabling system. Presented at International Conference on the Practice and Theory of Automated Timetabling, Edinburgh

This paper describes work in progress to increase the performance of a memetic timetabling system. The features looked at are two directed mutation operators, targeted mutation and a structured population that facilitates parallel implementation. Exp... Read More about Extensions to a memetic timetabling system..

DRIVE: An environment for the organised construction of user interfaces to data. (1996)
Presentation / Conference Contribution
Mitchell, K., Kennedy, J., & Barclay, P. J. (1996, July). DRIVE: An environment for the organised construction of user interfaces to data. Presented at 3rd International Workshop on User Interfaces to Databases - IDS3, 1996

This paper describes a runtime user-interface development
environment (UIDE) for the novel capability of interactively using and specifying user-interfaces to object-oriented databases (IDSs). A framework provides the foundation for IDSs constructed... Read More about DRIVE: An environment for the organised construction of user interfaces to data..

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

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

Intelligent storage devices for scalable information management systems. (1996)
Presentation / Conference Contribution
Kukla, R., & Kerridge, J. (1996, April). Intelligent storage devices for scalable information management systems. Presented at International Conference and Exhibition HPCN EUROPE 1996, Brussels, Belgium

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

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

A framework for information visualisation (1996)
Journal Article
Kennedy, J., Mitchell, K., & Barclay, P. J. (1996). A framework for information visualisation. SIGMOD record, 25, 30-34

In this paper we examine the issues involved in developing information visualisation systems and present a framework for their construction. The framework addresses the components which must be considered in providing effective visualisations. The fr... Read More about A framework for information visualisation.

Describing and characterising visualisations. (1996)
Presentation / Conference Contribution
Kennedy, J. B., Mitchell, K. J., & Barclay, P. J. (1996, May). Describing and characterising visualisations. Presented at 3rd FADIVA Workshop

A generic framework for describing and specifying interfaces to databases has been proposed [1]. Currently this
framework is being used as a model for the development of an environment for the construction of user interfaces to object oriented datab... Read More about Describing and characterising visualisations..