1535 search results - page 29 / 307 » Lazy Shape Analysis |
ISBI
2002
IEEE
14 years 8 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
One of the hallmarks of Alzheimer’s disease (AD) is the loss of neurons in the brain. In many cases, the medical experts use MR (magnetic resonance) images to qualitatively meas...
FPCA
1995
13 years 11 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
SMI
2003
IEEE
14 years 1 months ago
2003
IEEE
CORR
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...