401 search results - page 38 / 81 » Genetic Programming Theory and Practice |
IASTEDSEA
2004
13 years 10 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
IJON
2007
13 years 8 months ago
2007
In this paper, a ridgelet kernel regression model is proposed for approximation of high dimensional functions. It is based on ridgelet theory, kernel and regularization technology ...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we describe the use of a modern learning classifier system to a data mining task. In particular, in collaboration with a medical specialist, we apply XCS to a prima...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...