Sciweavers

2180 search results - page 238 / 436
» Self-Adaptation in Evolving Systems
Sort
View
CAV
2006
Springer
128views Hardware» more  CAV 2006»
15 years 10 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
ECAI
2006
Springer
15 years 10 months ago
Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
Jordan Kidney, Jörg Denzinger
GECCO
2006
Springer
146views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolutionary motion design for humanoid robots
We propose a new approach to generating the motion of humanoid robots intuitively by means of Interactive Evolutionary Computation (IEC). In our system, novice users are able to d...
Toshihiko Yanase, Hitoshi Iba
OOPSLA
1995
Springer
15 years 10 months ago
How and Why to Encapsulate Class Trees
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
Dirk Riehle
CORIA
2008
15 years 8 months ago
Classification dynamique par treillis de concepts pour la recherche d'information sur le web
This paper presents an iterative and interactive information retrieval system to search on the web using formal concept analysis (FCA). FCA provides a natural way to organise objec...
Emmanuel Nauer, Yannick Toussaint