1972 search results - page 55 / 395 » Evolutionary algorithms and dynamic programming |
154
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
164
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
153
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
Genetic Programming (GP) provides evolutionary methods for problems with tree representations. A recent development in Genetic Algorithms (GAs) has led to principled algorithms cal...
168
click to vote
CEC
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...