89 search results - page 15 / 18 » Haptic Interaction With Constrained Dynamic Systems |
AIIDE
2006
13 years 10 months ago
2006
Simulation is a common feature in computer entertainment. However, in computer games simulation and story are often kept distinct by interleaving interactive play and cut scenes. ...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, a teleoperation controller is proposed for a pair of nonlinear master and slave manipulators. The control law enables the nonlinear robots to be perfectly coordinate...
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...