1187 search results - page 113 / 238 » Graph-Based Procedural Abstraction |
126
click to vote
MICCAI
2007
Springer
16 years 4 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 ...
91
Voted
MICCAI
2003
Springer
16 years 4 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...
120
click to vote
MICCAI
2004
Springer
16 years 4 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...
128
click to vote
MICCAI
2004
Springer
16 years 4 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...
133
click to vote
CADE
2009
Springer
16 years 4 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...