2634 search results - page 128 / 527 » Faster Than Uppaal |
179
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We report on the design and initial evaluation of two methods for short text input in wearable computing applications using hand gestures. A wireless data glove able to recognize ...
153
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Page flipping is an important part of paper-based document navigation. However this affordance of paper document has not been fully transferred to digital documents. In this paper...
144
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
We conducted an empirical study to better understand collaborative information visualization. We found that a system that offered fewer options for visualizations yielded more cor...
239
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
160
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We consider the problem of "progressively" joining relations whose records are continuously retrieved from remote sources through an unstable network that may incur temp...