18429 search results - page 288 / 3686 » Typing dynamic typing |
165
click to vote
CHI
2004
ACM
16 years 7 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...
291
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
259
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
