Research explorer tool

14 results

Recreating the Botanics: towards a sense of place in virtual environments.

Presentation / Conference
Turner, S., Turner, P., Carroll, F., O'Neill, S., Benyon, D., McCall, R., & Smyth, M. (2003, June)
Recreating the Botanics: towards a sense of place in virtual environments. Paper presented at 3rd UK Conference of the Environmental Psychology Network
The EC funded project BENOGO seeks to re-create real places using photo-realistic immersive virtual reality technology and in so doing investigates the nature of presence and ...

Re-creating the Botanics: towards a sense of place in virtual environments

Presentation / Conference
Turner, S., Turner, P., Carroll, F., O'Neill, S., Benyon, D., McCall, R., & Smyth, M. (2003, January)
Re-creating the Botanics: towards a sense of place in virtual environments. Paper presented at Benogo
The EC funded project BENOGO seeks to re-create real places using photo-realistic immersive virtual reality technology and in so doing investigates the nature of presence and ...

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

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