1090 search results - page 115 / 218 » Type-Directed Partial Evaluation |
CP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
EKAW
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Ontologies are widely used for capturing and organizing knowledge of a particular domain of interest. This knowledge is usually evolvable and therefore an ontology mainte...
KES
2004
Springer
14 years 4 months ago
2004
Springer
The ability to detect the existence of nonlinear dynamics may facilitate medical diagnostics for identifying, monitoring and predicting transitions from health to sickness. Detecti...
PADL
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
PPSN
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We introduce a model for cooperative coevolutionary algorithms (CCEAs) using partial mixing, which allows us to compute the expected long-run convergence of such algorith...