Sciweavers

1600 search results - page 77 / 320
» The human-robot interaction operating system
Sort
View
ICRA
2000
IEEE
121views Robotics» more  ICRA 2000»
15 years 10 months ago
Stable Haptic Interaction Using the Excalibur Force Display
Creating a compelling haptic sense of immersion in a virtual environment is a challenging task for the control engineer. A haptic display must render both low impedance free-space...
Richard J. Adams, Daniel Klowden, Blake Hannaford
RIDE
1999
IEEE
15 years 10 months ago
Modeling and Analysis of Interactions in Virtual Enterprises
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C...
ICRA
2010
IEEE
343views Robotics» more  ICRA 2010»
15 years 4 months ago
Hands in action: real-time 3D reconstruction of hands in interaction with objects
— This paper presents a method for vision based estimation of the pose of human hands in interaction with objects. Despite the fact that most robotics applications of human hand ...
Javier Romero, Hedvig Kjellström, Danica Krag...
FIW
1998
130views Communications» more  FIW 1998»
15 years 7 months ago
A Heuristic Approach to Detect Feature Interactions in Requirements
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
Maritta Heisel, Jeanine Souquières
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
15 years 11 months ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak