Sciweavers

1494 search results - page 26 / 299
» Bottom-Up Shape Analysis
Sort
View
SMI
2008
IEEE
147views Image Analysis» more  SMI 2008»
14 years 2 months ago
Robust segmentation of voxel shapes using medial surfaces
We present a new method for robustly decomposing a 3D voxel shape into disjoint segments using the medial surface, also called surface skeleton. The boundaries of the simplified ...
Dennie Reniers, Alexandru Telea
ISBI
2009
IEEE
14 years 2 months ago
Laplace-Beltrami Nodal Counts: A New Signature for 3D Shape Analysis
In this paper we develop a new approach of analyzing 3D shapes based on the eigen-system of the Laplace-Beltrami operator. While the eigenvalues of the Laplace-Beltrami operator h...
Rongjie Lai, Yonggang Shi, Ivo D. Dinov, Tony F. C...
VMCAI
2004
Springer
14 years 1 months ago
Boolean Algebra of Shape Analysis Constraints
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
Viktor Kuncak, Martin C. Rinard
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
14 years 1 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
ISVC
2009
Springer
14 years 2 months ago
Level Set Gait Analysis for Synthesis and Reconstruction
We describe a new technique to extract the boundary of a walking subject, with ability to predict movement in missing frames. This paper uses a level sets representation of the tra...
Muayed S. Al-Huseiny, Sasan Mahmoodi, Mark S. Nixo...