3456 search results - page 320 / 692 » Algorithms for Interface Synthesis |
184
click to vote
WIA
2009
Springer
16 years 1 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
154
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents an approach for producing virtual fixture based on simulated plasticity, which can be used for assisting precise manual manipulations performed by human us...
145
click to vote
UIST
2006
ACM
16 years 19 days ago
2006
ACM
We present a computer vision technique to detect when the user brings their thumb and forefinger together (a pinch gesture) for close-range and relatively controlled viewing circu...
162
click to vote
SOFTVIS
2005
ACM
16 years 7 days ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
183
click to vote
CICLING
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...