Sciweavers

3619 search results - page 90 / 724
» Humor modeling in the interface
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 6 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
MVA
2002
106views Computer Vision» more  MVA 2002»
15 years 4 months ago
A Functionally-Distributed Hand Tracking Method for Wearable Visual Interfaces and Its Applications
This paper describes a Functionally-Distributed (FD) hand tracking method for hand-gesture-based wearable visual interfaces. The method is an extension of the Distributed Monte Ca...
Takeshi Kurata, Takekazu Kato, Masakatsu Kourogi, ...
MC
2008
145views Computer Science» more  MC 2008»
15 years 5 months ago
Graspable Work Modeling
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
Stefan Oppl
ICIW
2009
IEEE
15 years 11 months ago
Dynamic Composition of Service-Oriented Web User Interfaces
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...
Stefan Pietschmann, Martin Voigt, Klaus Meiß...
INTETAIN
2009
Springer
15 years 11 months ago
Affective Interface Adaptations in the Musickiosk Interactive Entertainment Application
The current work presents the affective interface adaptations in the Musickiosk application. Adaptive interaction poses several open questions since there is no unique way of mappi...
Lori Malatesta, Amaryllis Raouzaiou, L. Pearce, Ko...