We explore the ways in which interfaces can be designed to deceive users so as to create the illusion of magic. We present a study of an experimental performance in which a magici...
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
—Volume navigation is the interactive exploration of volume data sets by “flying” the viewpoint through the data, producing a volume rendered view at each frame. We present a...
Martin L. Brady, Kenneth K. Jung, H. T. Nguyen, Th...
Faceted search is becoming a popular method to allow users to interactively search and navigate complex information spaces. A faceted search system presents users with keyvalue me...