1187 search results - page 113 / 238 » Graph-Based Procedural Abstraction |
109
Voted
MICCAI
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Numerous studies have demonstrated the efficacy of imageguided needle-based therapy and biopsy in the management of prostate cancer. The accuracy of traditional prostate ...
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...
100
click to vote
MICCAI
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. We propose a new method for removing topological defects in surfaces and volumes segmented from medical images. Unlike current topology correction approaches, we define a...
103
click to vote
MICCAI
2004
Springer
16 years 2 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
115
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...