Entertainment animatronics has traditionally been a discipline devoid of interactivity. Previously, we brought interactivity to this field by creating a suite of content authoring...
Seema Patel, William Bosley, David Culyba, Sabrina...
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
The development of Affective Interface technologies makes it possible to envision a new generation of Digital Arts and Entertainment applications, in which interaction will be bas...
An attractive feature of many simulation packages is their availability on desktop computers and their potential for allowing the user to run a simulation model under different co...
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...