Sciweavers

14386 search results - page 382 / 2878
» Algorithms for user interfaces
Sort
View
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
UIST
1994
ACM
15 years 10 months ago
An Architecture for Transforming Graphical Interfaces
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
W. Keith Edwards, Elizabeth D. Mynatt
ACMACE
2006
ACM
16 years 22 days ago
Interaction techniques for musical performance with tabletop tangible interfaces
We present a set of interaction techniques for electronic musical performance using a tabletop tangible interface. Our system, the Audiopad, tracks the positions of objects on a t...
James Patten, Ben Recht, Hiroshi Ishii
UIST
2006
ACM
16 years 21 days ago
CINCH: a cooperatively designed marking interface for 3D pathway selection
To disentangle and analyze neural pathways estimated from magnetic resonance imaging data, scientists need an interface to select 3D pathways. Broad adoption of such an interface ...
David Akers
CHI
2005
ACM
16 years 7 months ago
Toward subtle intimate interfaces for mobile devices using an EMG controller
Using a mobile device in a social context should not cause embarrassment and disruption to the immediate environment. Interaction with mobile and wearable devices needs to be subt...
Enrico Costanza, Samuel A. Inverso, Rebecca Allen