4999 search results - page 554 / 1000 » User Interaction in the BANKS System |
207
click to vote
HAPTICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We demonstrate the use of eddy current braking as programmable, fast turn-on, physical damping to improve both the impedance range and stability of a haptic interface while render...
198
click to vote
VL
2003
IEEE
16 years 15 days ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
156
click to vote
IUI
1993
ACM
15 years 11 months ago
1993
ACM
We examine the need for plan inference in intelligent help mechanisms. We argue that previous approaches have drawbacks that need to be overcome to make plan inference useful. Fir...
211
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
226
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...