Sciweavers

49 search results - page 9 / 10
» Combinators for Paraconsistent Attitudes
Sort
View
TROB
2008
86views more  TROB 2008»
13 years 7 months ago
Visual SLAM for Flying Vehicles
The ability to learn a map of the environment is important for numerous types of robotic vehicles. In this paper, we address the problem of learning a visual map of the ground usin...
Bastian Steder, Giorgio Grisetti, Cyrill Stachniss...
AROBOTS
2002
132views more  AROBOTS 2002»
13 years 7 months ago
Feedforward and Feedback Dynamic Trot Gait Control for Quadruped Walking Vehicle
Abstract. To realize dynamically stable walking for a quadruped walking robot, the combination of the trajectory planning of the body and leg position (feedforward control) and the...
Ryo Kurazume, Kan Yoneda, Shigeo Hirose
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 5 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
ISRR
2005
Springer
140views Robotics» more  ISRR 2005»
14 years 1 months ago
Tradeoffs Between Directed and Autonomous Driving on the Mars Exploration Rovers
NASA’s Mars Exploration Rovers (MER) have collected a great diversity of geological science results, thanks in large part to their surface mobility capabilities. The six wheel r...
Jeffrey J. Biesiadecki, Chris Leger, Mark W. Maimo...
FPL
2004
Springer
110views Hardware» more  FPL 2004»
14 years 1 months ago
Versatile Imaging Architecture Based on a System on Chip
Abstract. In this paper, a novel architecture dedicated to image processing is presented. The most original aspect of the approach is the use of a System On Chip implemented in a F...
Pierre Chalimbaud, François Berry