5372 search results - page 769 / 1075 » Robotics and interactive simulation |
195
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...
195
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...
164
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...
205
click to vote
DAGSTUHL
1997
15 years 8 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
189
Voted
JUCS
2008
15 years 6 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...