2907 search results - page 231 / 582 » Presentations of Structures in Admissible Sets |
167
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
184
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper presents a statistical shape model for automatic skull stripping of MR brain images. A surface model of the brain boundary is hierarchically represented by a set of ove...
155
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
136
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
190
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...