548 search results - page 60 / 110 » Computation of Shape Through Controlled Active Exploration |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
SonicTexting is a system for inputting text ? `texting' ? using gestures and sound. As in musical instruments and everyday mechanical objects, sound in SonicTexting is synchr...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Artifacts—representations that express properties or captured information—can serve to inspire, represent, and manage the decisions made throughout the design process. This wo...
MHCI
2004
Springer
14 years 2 months ago
2004
Springer
Previous work by Draper and Brown [3] investigated the use of specialized handsets to increase interactivity in lecture settings. Inspired by their encouraging findings we have bee...
CGF
1999
13 years 8 months ago
1999
Computer animations often lack the subtle environmental changes that should occur due to the actions of the characters. Squealing car tires usually leave no skid marks, airplanes ...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...