2324 search results - page 292 / 465 » Specifying interaction surfaces using interaction maps |
153
click to vote
APVIS
2010
15 years 4 months ago
2010
Seismic horizons indicate change in rock properties and are central in geoscience interpretation. Traditional interpretation systems involve time consuming and repetitive manual v...
133
click to vote
HVEI
2009
15 years 1 months ago
2009
This study explores the haptic rendering capabilities of a variable friction tactile interface through psychophysical experiments. In order to obtain a deeper understanding of the...
135
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
We present a system whereby the human voice may specify continuous control signals to manipulate a simulated 2D robotic arm and a real 3D robotic arm. Our goal is to move towards ...
163
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
136
click to vote
CHI
1998
ACM
15 years 8 months ago
1998
ACM
Writing scripts (often called “macros”) can be helpful for automating repetitive tasks. Scripting facilities for text editors like Emacs and Microsoft Word have been widely us...