Sciweavers

1622 search results - page 120 / 325
» A Collection of Definitions of Intelligence
Sort
View
119
Voted
IAT
2006
IEEE
15 years 10 months ago
Ordinary User Oriented Model Construction for Assisting Conversational Agents
In this paper, we defend the idea of integrating the actual cognitive features of novice users in the creation process of the applications to significantly increase the quality of...
David Leray, Jean-Paul Sansonnet
CEC
2005
IEEE
15 years 9 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
156
Voted
EVOW
2005
Springer
15 years 9 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 9 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 9 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é...