2634 search results - page 128 / 527 » Faster Than Uppaal |
CHI
2007
ACM
14 years 10 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 ...
CHI
2005
ACM
14 years 10 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...
CHI
2003
ACM
14 years 10 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...
VLDB
2007
ACM
14 years 10 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...
SIGMOD
2005
ACM
14 years 10 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...