At the intersection of tele-robotics, computer networking, and human social interaction we have chosen to explore an area we identifyas personal tele-embodiment. At the core of th...
This paper describes our exploration of a design space for an augmented reality prototype. We began by observing air traffic controllers and their interactions with paper flight s...
Wendy E. Mackay, Anne-Laure Fayard, Laurent Frober...
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
This paper describes the design and use of a microgoniophotometer. The instrument, configured with a CCD video camera and microscope optics, is meant to resolve goniophotometric m...