Skip to main content

Research Repository

Advanced Search

All Outputs (5)

Using ERMIA for the Evaluation of a Theorem Prover Interface (2004)
Presentation / Conference Contribution
Jackson, M., Benyon, D., & Lowe, H. (2004). Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers (104-111)

ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship modelling techniques to provide a structural representation of the interaction between people and “information artefacts”. Such a representa... Read More about Using ERMIA for the Evaluation of a Theorem Prover Interface.

The presence probe. (2004)
Presentation / Conference Contribution
McCall, R., O'Neill, S., Carroll, F., & Benyon, D. (2004). The presence probe. In Workshop on Designing and Evaluating Virtual Reality Systems

A method for designing virtual places. (2004)
Presentation / Conference Contribution
McCall, R., O'Neill, S., Benyon, D., Smyth, M., & Carroll, F. (2004). A method for designing virtual places. In Presence 2004 (305-312)

This paper discusses our experiences of using a range of methods and techniques to measure the sense of place in real and virtual environments. The paper presents a discussion on presence and how this is linked directly with our sense of place. F... Read More about A method for designing virtual places..

Probing the sense of place. (2004)
Presentation / Conference Contribution
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 project. The ‘place probe’ incorporates a range of techniques aimed at arti... Read More about Probing the sense of place..

Personification technologies: developing artificial companions for older people. (2004)
Presentation / Conference Contribution
Mival, O., Cringean, S., & Benyon, D. (2004). Personification technologies: developing artificial companions for older people. In CHI 2004 conference proceedings : Connect

This paper reports on the work of the UTOPIA project, a consortium of four Scottish universities concerned with technology issues for older people, focusing specifically on artificial companionship. The importance of companionship to the emotional an... Read More about Personification technologies: developing artificial companions for older people..