Now showing items 1-2 of 2
Haptic virtual reality for blind computer users
(ACM Press, 1998)
This paper describes a series of studies involving a haptic device which can display virtual textures and 3-D objects. The device has potential for simulating real world objects and assisting in the navigation of virtual ...
Seven lesser known myths of formal methods : uncovering the psychology of formal specification
(University of Hertfordshire, 1996)
Psychological research has shown that people are prone to systematic errors when reasoning about logical statements in natural language. The Human Cognition and Formal Methods research project aims to test whether people ...