Sciweavers

9405 search results - page 408 / 1881
» Computing a Model of Set Theory
Sort
View
GECCO
2005
Springer
107views Optimization» more  GECCO 2005»
16 years 11 days ago
Minimum spanning trees made easier via multi-objective optimization
Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate t...
Frank Neumann, Ingo Wegener
190
Voted
CAEPIA
2005
Springer
16 years 11 days ago
Mapping Conformant Planning into SAT Through Compilation and Projection
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
Héctor Palacios, Hector Geffner
EMSOFT
2005
Springer
16 years 11 days ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
ICRA
2002
IEEE
168views Robotics» more  ICRA 2002»
15 years 11 months ago
A Dynamical Systems Approach to Behavior-Based Formation Control
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Sergio Monteiro, Estela Bicho
HRI
2009
ACM
16 years 1 months ago
Creating and using matrix representations of social interaction
This paper explores the use of an outcome matrix as a computational representation of social interaction suitable for implementation on a robot. An outcome matrix expresses the re...
Alan R. Wagner