Sciweavers

1535 search results - page 15 / 307
» Lazy Shape Analysis
Sort
View
103
Voted
IPMI
2007
Springer
16 years 2 months ago
Localized Components Analysis
We introduce Localized Components Analysis (LoCA) for describing surface shape variation in an ensemble of biomedical objects using a linear subspace of spatially localized shape c...
Dan A. Alcantara, Owen T. Carmichael, Eric Delson,...
126
Voted
PAMI
2012
13 years 4 months ago
Medial Spheres for Shape Approximation
—We study the problem of approximating a 3D solid with a union of overlapping spheres. In comparison with a stateof-the-art approach, our method offers more than an order of magn...
Svetlana Stolpner, Paul G. Kry, Kaleem Siddiqi
PEPM
1993
ACM
15 years 6 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange