147 search results - page 19 / 30 » The Computational Complexity of Quantified Reciprocals |
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
58
Voted
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
SEMCO
2008
IEEE
15 years 4 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
CHI
1997
ACM
15 years 1 months ago
1997
ACM
measured together with upper-body and hand motion. This data would be used to create a truly “immersive”, tetherless musical environment, where any kind of body motion would be...