— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
When using relevance feedback for the interactive categorization of images, the strategy employed by the system to select images to be presented to the user is of paramount import...
Space-filling visualizations, such as the TreeMap, are well-suited for displaying the properties of nodes in hierarchies. To browse the contents of the hierarchy, the primary mode...
We present a new interaction technique for large directtouch displays called Modal Spaces. Modal interfaces require the user to keep track of the state of the system. The Modal Sp...