424 search results - page 6 / 85 » An Efficient Text Input Method for Pen-Based Computers |
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
The ever decreasing size of information devices these days does not allow even the space for small input devices such as a touchpad or a 3x4 keypad. We introduce here an input dev...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
In this paper we describe a novel text entry method which uses coordinated motor action of hand and mouth. A vision based algorithm is used to gauge shape parameters of the cavity...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
A top-k query combines different rankings of the same set of objects and returns the k objects with the highest combined score according to an aggregate function. We bring to ligh...
ASSETS
2005
ACM
13 years 9 months ago
2005
ACM
We present various adaptations of the EdgeWrite unistroke text entry method that work on multiple computer input devices: styluses, touchpads, displacement and isometric joysticks...