564 search results - page 53 / 113 » Corner cutting systems |
ENTCS
2008
13 years 9 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
IJISTA
2008
13 years 9 months ago
2008
: We combine a low resolution time-of-flight depth image camera based on photonic mixer devices with two standard cameras in a stereo configuration. We show that this approach is u...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Modes allow a few inputs to invoke many operations, yet if a user misclassifies or forgets the state of a system, modes can result in errors. Spring-loaded modes (quasimodes) main...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
We describe a novel interface that locates and characterizes knocks and taps atop a large glass window. Our current setup uses four contact piezoelectric pickups located near the ...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
In this paper we present a wall-sized input system with high accuracy input in the center and lower precision tracking on the remaining parts of the wall. This work complements th...