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...
Abstract We consider a form of phenotype plasticity in Genetic Programming (GP). This takes the form of a set of real-valued numerical parameters associated with each individual, a...
By applying the schema theorem, we study the effects of crossover in Genetic Algorithms with the multiplicative fitness function. On this landscape, the analytical expression of ...
This paper presents a kernel density estimation method by means of real-coded crossovers. Estimation of density algorithms (EDAs) are evolutionary optimization techniques, which d...
Non-physical techniques for elastic image registration such as different spline-based optimization methods are often applied in biomedical applications for image normalization w.r...