Sciweavers

2830 search results - page 541 / 566
» Grammar-based robot control
Sort
View
ECAI
2010
Springer
13 years 11 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»
13 years 11 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
CSI
2008
95views more  CSI 2008»
13 years 10 months ago
Feasibility and infrastructural study of AR interfacing and intuitive simulation on 3D nonlinear systems
High-fidelity simulations with intuitive user interfaces expedite real-world tasks. Augmented Reality (AR), enables 3D computer-generated entities to coexist in users' view o...
Seungjun Kim, Nitaigour-Premchand Mahalik, Anind K...
CONNECTION
2004
134views more  CONNECTION 2004»
13 years 9 months ago
'Feeling' the flow of time through sensorimotor co-ordination
In this paper, we aim to design decision-making mechanisms for a simulated Khepera robot equipped with simple sensors, which integrates over time its perceptual experience in order...
Elio Tuci, Vito Trianni, Marco Dorigo
IJRR
2002
107views more  IJRR 2002»
13 years 9 months ago
Design of a Parallel-Type Gripper Mechanism
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
Byung-Ju Yi, Heung Yeol Na, Jae Hoon Lee, Yeh-Sun ...