1824 search results - page 118 / 365 » interfaces 2006 |
CAV
2006
Springer
14 years 25 days ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
AVI
2006
13 years 10 months ago
2006
Over time, many people accumulate extensive email repositories that contain detailed information about their personal communication patterns and relationships. We present three vi...
AVI
2006
13 years 10 months ago
2006
This paper presents new interaction techniques that use a laser pointer to directly manipulate applications displayed on a large screen. The techniques are based on goal crossing,...
CATA
2006
13 years 10 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...