233 search results - page 15 / 47 » The Shapes of Trees |
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Segmentation of deep brain structures is a challenging task for MRI images due to blurry structure boundaries, small object size and irregular shapes. In this paper, we present a ...
COCOON
2003
Springer
15 years 3 months ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...
122
click to vote
ICIAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Real time and markerless motion capture is an active research area, due to applications in human-computer interactions, for example. A large part of the existing markerle...
115
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a new fast approach for surface segmentation of thin structures, like vessels and vascular trees, based on Fast Marching and Level Sets methods. Fast Marching allows se...