8031 search results - page 277 / 1607 » The InfoPad User Interface |
155
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
Recommendation systems generally produce the results of their output to their users in the form of an ordinal list. In the interest of simplicity, these lists are often obscure, ,...
175
click to vote
PVM
2007
Springer
16 years 22 days 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...
146
click to vote
ICMI
2005
Springer
16 years 4 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...
199
click to vote
SG
2004
Springer
15 years 12 months 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...
174
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...