4460 search results - page 280 / 892 » Formal methods for interactive systems |
140
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
162
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Computer vision systems for human-computer interaction have tended towards more precise forms of interface that require complex vision tasks such as segmentation, tracking, object...
157
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents Running Gestures, an interaction technique that relies on foot gestures while running. A prototype and evaluation of one of the proposed gestures, a mid-stride...
176
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a pe...
171
click to vote
WSCG
2003
2003
Multifaceted Interaction with a Virtual Engineering Environment using a Scenegraph-oriented Approach
15 years 8 months ago
To provide an adequate user interface to the large amount of geometrical and alphanumerical date coupled to the geometries, the 3D interaction in the virtual environment is combin...