1972 search results - page 55 / 395 » Evolutionary algorithms and dynamic programming |
SIGSOFT
2004
ACM
14 years 10 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 ...
GECCO
2004
Springer
14 years 2 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...
SODA
2000
ACM
13 years 10 months ago
2000
ACM
PPSN
2004
Springer
14 years 2 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...
CEC
2007
IEEE
14 years 3 months 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...