1689 search results - page 177 / 338 » Modelling Devices for Natural Interaction |
156
Voted
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Graphics-intensive computer games are no longer restricted to highperformance desktops, but are also available on a variety of portable devices ranging from notebooks to PDAs and ...
126
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Many mobile phones integrate services such as personal calendars. Given the social nature of the stored data, however, users often need to access such information as part of a pho...
116
click to vote
HAPTICS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a novel experimental apparatus for the capture and replay of physical controls (mechanical knobs), as well as a set of acquired models and a design discussion related t...
123
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
150
Voted
ALGOSENSORS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the problem of counting the number of indistinguishable targets using a simple binary sensing model. Our setting includes an unknown number of point targets i...