Probing the sense of place.
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
An investigation into virtual representations of real places.
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
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.
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.
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...