8766 search results - page 542 / 1754 » Functional logic programming |
134
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
146
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
144
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The imprint of natural selection on gene sequences is often difficult to detect. A plethora of methods have been devised to detect genetic changes due to selective pro...
140
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Least-squares policy iteration is a useful reinforcement learning method in robotics due to its computational efficiency. However, it tends to be sensitive to outliers...
166
click to vote
EUROGP
2007
Springer
15 years 11 months ago
2007
Springer
This work analyzes fitness landscapes for the image filter design problem approached using functional-level Cartesian Genetic Programming. Smoothness and ruggedness of fitness l...