71 search results - page 12 / 15 » The Isabelle Framework |
3DPVT
2002
IEEE
15 years 2 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
MICCAI
2009
Springer
15 years 2 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an eļ¬...
104
click to vote
ECOOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The application ļ¬eld of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
MICCAI
2001
Springer
15 years 2 months ago
2001
Springer
Although numerous methods to register brains of different individuals have been proposed, no work has been done, as far as we know, to evaluate and compare objectively the performa...
INFOCOM
1995
IEEE
15 years 1 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...