861 search results - page 91 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
128
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Standard tournament selection samples individuals with replacement. The sampling-with-replacement strategy has its advantages but also has issues. One of the commonly recognised i...
118
click to vote
IJDAR
2006
15 years 3 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
108
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...
168
click to vote
POPL
2010
ACM
16 years 16 days ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
160
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...