2266 search results - page 268 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
151
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...
158
Voted
ECAL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper is concerned with arti cial evolution of neurocontrollers with adaptive synapses for autonomous mobile robots. The method consists of encoding on the genotype ...
143
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The ever-increasing wealth of genomic sequence information provides an unprecedented opportunity for large-scale phylogenetic analysis. However, species phylogeny infe...
132
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
This work addresses selected aspects of natural evolution, especially of the field of population genetics, that are considered to be meaningful for algorithmic further development...
163
Voted
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...