Probing the sense of place.
Conference Proceeding
O'Neill, S., McCall, R., Smyth, M., & Benyon, D. (2004)
Probing the sense of place. In Presence 2004
This paper describes the application and results of
two studies using a qualitative tool designed to examine
sense of place in relation to presence research in the
BENOGO proj...
An investigation into virtual representations of real places.
Conference Proceeding
Arnspang, J., Benyon, D., Fahle, M., Granum, E., Madsen, C., Pajdla, T., …Weinshall, D. (2002)
An investigation into virtual representations of real places. In Proc. Fifth Annual International Workshop on Presence, 66-78
The paper describes the main themes of a recently funded research project under the European Communitys Future and Emerging Technologies Presence initiative. The aim of the re...
Teallach: a model-based user interface development environment for object databases
Conference Proceeding
Griffiths, T., Barclay, P. J., McKirdy, J., Paton, N. W., Gray, P. D., Kennedy, J., …Smyth, M. (1999)
Teallach: a model-based user interface development environment for object databases. In Proceedings [IEEE] User Interfaces to Data Intensive Systems (86-96). https://doi.org/10.1109/UIDIS.1999.791465
Model-based user interface development environments show promise for improving the productivity of user interface developers, and possibly for improving the quality of develop...
An open model-based interface development system: The Teallach approach.
Conference Proceeding
Griffiths, T., McKirdy, J., Paton, N. W., Kennedy, J., Cooper, R., Barclay, P. J., …Dinn, A. (1998)
An open model-based interface development system: The Teallach approach. In P. Markopoulos, & P. Johnson (Eds.), Design, Specification and Verification of Interactive Systems '98. Proceedings of the Eurographics Workshop, 34-50
The goal of the Teallach project is to provide facilities for the systematic development of interfaces to object databases in a manner which is independent of both a specific ...
Lessons from experience: making theorem provers more co-operative.
Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
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 th...