Sciweavers

1547 search results - page 41 / 310
» The Isabelle Collections Framework
Sort
View
IJDAR
2011
114views more  IJDAR 2011»
13 years 2 months ago
Setting up a competition framework for the evaluation of structure extraction from OCR-ed books
Abstract. This paper describes the setup of the Book Structure Extraction competition run at ICDAR 2009. The goal of the competition was to evaluate and compare automatic technique...
Antoine Doucet, Gabriella Kazai, Bodin Dresevic, A...
MICCAI
2005
Springer
14 years 8 months ago
Fiber Tract-Oriented Statistics for Quantitative Diffusion Tensor MRI Analysis
Diffusion tensor imaging (DTI) has become the major modality to study properties of white matter and the geometry of fiber tracts of the human brain. Clinical studies mostly focus ...
Isabelle Corouge, P. Thomas Fletcher, Sarang C. Jo...
3DPVT
2002
IEEE
172views Visualization» more  3DPVT 2002»
14 years 18 days ago
3D objects visualization for remote interactive medical applications
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...
Johan Montagnat, Eduardo Davila, Isabelle E. Magni...
MICCAI
2009
Springer
14 years 5 days ago
Bayesian Maximal Paths for Coronary Artery Segmentation from 3D CT Angiograms
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ļ¬...
David Lesage, Elsa D. Angelini, Isabelle Bloch, Ga...
ECOOP
2001
Springer
14 years 3 days ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application ļ¬eld of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co...