We describe a demonstration of four novel interaction techniques for a cubic head-coupled 3D display. The interactions illustrated include: viewing a static scene, navigating thro...
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
This paper explores and evaluates the support for objectfocused collaboration provided by a desktop Collaborative Virtual Environment. The system was used to support an experiment...
Jon Hindmarsh, Mike Fraser, Christian Heath, Steve...
In a traditional streaming system, the field of view (FOV) of an image is limited based on the FOV of the camera. One solution is the use of a pan/tilt camera, yet this is difficu...