6554 search results - page 423 / 1311 » Constraint Logic Programming |
173
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
One of the major components of any evolutionary system is the evaluation function. Evaluation functions are used to assign a quality measure for individuals in a population. Where...
158
click to vote
AGP
2003
IEEE
16 years 2 days ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
160
click to vote
ISQED
2003
IEEE
16 years 1 days ago
2003
IEEE
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...
187
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
193
click to vote
TPLP
2002
15 years 6 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...