1097 search results - page 106 / 220 » Partial evaluation of Maple |
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
We address the problem of loading transactional datasets into main memory and estimating the density of such datasets. We propose BoolLoader, an algorithm dedicated to these tasks;...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
CP
2004
Springer
15 years 3 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...
125
click to vote
EKAW
2004
Springer
15 years 3 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
15 years 3 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...