171 search results - page 25 / 35 » Efficient algorithms for interface timing verification |
127
click to vote
MIR
2004
ACM
15 years 7 months ago
2004
ACM
The rapid development of web image search engines has enabled users to search hundred million of images available on the Web. However, due to the unsatisfactory performance of cur...
116
Voted
AUIC
2005
IEEE
15 years 7 months ago
2005
IEEE
The augmented desk is gaining popularity in recent HCI research. Its layout of a large horizontal screen on the desk enhances immersive and intense collaborative experiences. A re...
206
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
This paper addresses the problem of monitoring the k nearest neighbors to a dynamically changing path in road networks. Given a destination where a user is going to, this new quer...
124
click to vote
ASE
2002
15 years 1 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
116
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Recent evidence on the performance benefits of expanding targets during manual pointing raises a provocative question: Can a similar effect be expected for eye gaze interaction? W...