Title of thesis: A LINE-BASED OBSTACLE AVOIDANCE TECHNIQUE FOR DEXTEROUS MANIPULATOR OPERATIONS Nicholas Anthony Scott Master of Science, 2007 Thesis directed by: Craig Carignan D...
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
Accessing the advanced functions of a mobile phone is not a trivial task for users with visual impairments. They rely on screen readers and voice commands to discover and execute ...
The quality of realism in virtual environments (VEs) is typically considered to be a function of visual and audio fidelity mutually exclusive of each other. However, the VE partic...