Sciweavers

940 search results - page 97 / 188
» Control Abstractions for Local Search
Sort
View
119
Voted
EVOW
2009
Springer
15 years 10 months ago
Swarming for Games: Immersion in Complex Systems
Abstract. The swarm metaphor stands for dynamic, complex interaction networks with the possibility of emergent phenomena. In this work, we present two games that challenge the vide...
Sebastian von Mammen, Christian Jacob
129
Voted
ECAL
2007
Springer
15 years 9 months ago
The Dynamics of Associative Learning in an Evolved Situated Agent
Abstract. Artificial agents controlled by dynamic recurrent node networks with fixed weights are evolved to search for food and associate it with one of two different temperatur...
Eduardo Izquierdo, Inman Harvey
130
Voted
FROCOS
2009
Springer
15 years 7 months ago
Efficient Combination of Decision Procedures for MUS Computation
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
124
Voted
ICRA
2008
IEEE
115views Robotics» more  ICRA 2008»
15 years 10 months ago
Multi-robot manipulation via caging in environments with obstacles
Abstract— We present a decentralized approach to multirobot manipulation where the team of robots surround and trap an object and transport it, by dragging or pushing, to the goa...
Jonathan Fink, M. Ani Hsieh, Vijay Kumar
126
Voted
DGCI
2005
Springer
15 years 9 months ago
Geometric Robot Mapping
Abstract. The purpose of this paper is to present a technique to create a global map of a robot’s surrounding by converting the raw data acquired from a scanning sensor to a comp...
Rolf Lakämper, Longin Jan Latecki, Xinyu Sun,...