136 search results - page 2 / 28 » The Category Theoretic Solution of Recursive Program Schemes |
113
click to vote
CALCO
2009
Springer
15 years 9 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
116
click to vote
LREC
2010
15 years 4 months ago
2010
We provide a robust and detailed annotation scheme for information status, which is easy to use, follows a semantic rather than cognitive motivation, and achieves reasonable inter...
141
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...
119
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
113
click to vote
FOCS
1991
IEEE
15 years 6 months ago
1991
IEEE
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...