851 search results - page 2 / 171 » History Effects and Verification |
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
A series of evolutionary neural network simulations are presented which explore the hypothesis that learning factors can result in the evolution of long periods of parental protec...
ITC
1999
IEEE
13 years 9 months ago
1999
IEEE
CIG
2006
IEEE
13 years 8 months ago
2006
IEEE
ICDM
2010
IEEE
13 years 2 months ago
2010
IEEE
GG
2010
Springer
13 years 6 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...