Sciweavers

4973 search results - page 938 / 995
» Probabilistic Algorithms in Robotics
Sort
View
ECAI
2010
Springer
15 years 4 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
2008
Springer
161views Optimization» more  GECCO 2008»
15 years 4 months ago
Neuro-evolution for a gathering and collective construction task
In this paper we apply three Neuro-Evolution (NE) methods as controller design approaches in a collective behavior task. These NE methods are Enforced Sub-Populations, MultiAgent ...
D. W. F. van Krevelen, Geoff S. Nitschke
ANOR
2008
66views more  ANOR 2008»
15 years 3 months ago
Optimization problems involving collections of dependent objects
We describe a class of problems motivated by numerous real-world applications where there is a collection of objects that have both a cost and a value, but where some of those obj...
David L. Roberts, Charles L. Isbell, Michael L. Li...
AROBOTS
2010
101views more  AROBOTS 2010»
15 years 3 months ago
A quantitative assessment of structural errors in grid maps
Various common error sources affect the quality of a map, e.g., salt and pepper noise and other forms of noise that are more or less uniformly distributed over the map. But there ...
Andreas Birk
AR
2008
97views more  AR 2008»
15 years 3 months ago
Modular Architecture for Humanoid Walking Pattern Prototyping and Experiments
In this paper we describe the use of design patterns as a basis for creating a Humanoid Walking Pattern Generator Software having a modular architecture. This architecture made po...
Olivier Stasse, Björn Verrelst, Pierre-Brice ...