14386 search results - page 446 / 2878 » Algorithms for user interfaces |
178
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Robots are poised to enter our everyday environments such as our homes and offices, contexts that present unique questions such as the style of the robot’s actions. Style-orie...
177
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The MPI-2 standard added a new feature to MPI called generalized requests. Generalized requests allow users to add new nonblocking operations to MPI while still using man...
156
click to vote
ICMI
2005
Springer
16 years 12 days ago
2005
Springer
Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding of...
205
click to vote
SG
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes in details the implementation of the ActiveCube system. ActiveCube allows users to construct and interact with 3D environments by using physical cubes as bi-di...
177
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...