3228 search results - page 471 / 646 » Computationally Sound Proofs |
110
Voted
ICMI
2007
Springer
15 years 9 months ago
2007
Springer
This paper explores using non-linguistic vocalization as an additional modality to augment digital pen input on a tablet computer. We investigated this through a set of novel inte...
136
Voted
SCALESPACE
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
122
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
111
click to vote
ACMACE
2006
ACM
15 years 9 months ago
2006
ACM
The Straw-like User Interface is a novel interface system that allows us to virtually experience the sensations of drinking. These sensations are created based on referencing samp...
124
Voted
HRI
2006
ACM
15 years 9 months ago
2006
ACM
This paper investigates human behavior around an interactive robot at a science museum. To develop a communication robot that works in daily environments, it is important to inves...