Sciweavers

3718 search results - page 233 / 744
» Programming by Integration in Robotics
Sort
View
ECAI
2010
Springer
15 years 7 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
16 years 4 days ago
Learned mutation strategies in genetic programming for evolution and adaptation of simulated snakebot
In this work we propose an approach of incorporating learned mutation strategies (LMS) in genetic programming (GP) employed for evolution and adaptation of locomotion gaits of sim...
Ivan Tanev
ICRA
2006
IEEE
125views Robotics» more  ICRA 2006»
16 years 20 days ago
Optimal Information Propagation in Sensor Networks
Abstract— This paper studies the effect of communicationlink weighting schemes and long-range connections in speeding convergence to consensus on the average of the inputs to age...
Peng Yang, Randy A. Freeman, Kevin M. Lynch
ICRA
2006
IEEE
133views Robotics» more  ICRA 2006»
16 years 20 days ago
A Quantitative Test for the Robustness of Graspless Manipulation
Abstract— In this paper, the robustness of graspless manipulation (or nonprehensile manipulation) is investigated. We derive some new constraints for static frictional forces in ...
Yusuke Maeda, Satoshi Makita
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 11 months ago
A Quantitative Stability Measure for Graspless Manipulation
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
Yusuke Maeda, Tamio Arai