623 search results - page 95 / 125 » Velocity-Dependent Dynamic Manipulability |
114
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we describe the design of a personal cubic display that offers novel interaction techniques for static and dynamic 3D content. We extended one-screen Fish Tank VR b...
139
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
151
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
The force-update-rate requirements of transparent rendering of virtual environments are in conflict with the computational cost required for computing complex interactions betwee...
117
Voted
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
Visualisation and structuring of tasks in a schedule, from relatively simple activities such as meeting scheduling to more complex ones such as project planning, has been traditio...
130
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...