2273 search results - page 216 / 455 » On the Expressiveness and Complexity of ATL |
169
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
167
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
181
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— Humanoid robots as assistance or educational robots is an important research topic in the field of robotics. Especially the communication of those robots with a human operator...
162
click to vote
IWPC
2007
IEEE
16 years 26 days ago
2007
IEEE
Java developers often use decompilers to aid reverse engineering and obfuscators to prevent it. Decompilers translate low-level class files to Java source and can produce “good...
185
click to vote
LAWEB
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...