3938 search results - page 164 / 788 » Interactive Protocols on the Reals |
116
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
131
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...
142
click to vote
TOG
2008
15 years 4 months ago
2008
In this paper we present an approach to enrich skeleton-driven animations with physically-based secondary deformation in real time. To achieve this goal, we propose a novel, surfa...
102
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Acoustic anger detection in voice portals can help to enhance human computer interaction. A comprehensive voice portal data collection has been carried out and gives new insight o...
151
click to vote
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We consider the problem of centralized routing and scheduling for IEEE 802.16 mesh networks so as to provide Quality of Service (QoS) to individual real and interactive data ap...