3136 search results - page 432 / 628 » Genetic programming theory |
170
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
139
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
178
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
143
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
177
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...