462 search results - page 49 / 93 » Function Types in Complete Type Inference |
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
SOCO
2002
Springer
13 years 7 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...