Sciweavers

1121 search results - page 61 / 225
» Collective Intelligence
Sort
View
IAT
2007
IEEE
15 years 5 months ago
Coordination in Introspective Multi-Agent Systems
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
Yasmine Charif, Nicolas Sabouret
CEC
2005
IEEE
15 years 5 months ago
Real-parameter optimization using the mutation step co-evolution
Abstract- An evolutionary algorithm for the optimization of a function with real parameters is described in this paper. It uses a cooperative co-evolution to breed and reproduce su...
Petr Posik
EVOW
2005
Springer
15 years 5 months ago
On the Application of Evolutionary Algorithms to the Consensus Tree Problem
Computing consensus trees amounts to finding a single tree that summarizes a collection of trees. Three evolutionary algorithms are defined for this problem, featuring characteri...
Carlos Cotta
TABLEAUX
2005
Springer
15 years 5 months ago
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
Thomas Raths, Jens Otten, Christoph Kreitz
ANTSW
2004
Springer
15 years 4 months ago
Ants Can Play Music
In this paper, we describe how we can generate music by simulating moves of artificial ants on a graph where vertices represent notes and edges represent possible transitions betw...
Christophe Guéret, Nicolas Monmarché...