9310 search results - page 429 / 1862 » User interface continuations |
205
click to vote
SG
2004
Springer
16 years 6 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...
203
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In the Shared Space project, we explore, innovate, design and evaluate future computing environments that will radically enhance interaction between human and computers as well as...
157
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
ActiMates™ Barney™ represents a new form of interactive learning product for two- to five-year old children: a small computer that looks like an animated plush doll. He can be...
155
click to vote
IPPS
1993
IEEE
15 years 11 months ago
1993
IEEE
The performance of threads is limited primarily by the overhead of two kinds of switching: vertical switching (user/kernel domain switching) and horizontal switching (context swit...