1464 search results - page 47 / 293 » Thread-Modular Shape Analysis |
MVA
2006
13 years 10 months ago
2006
We describe tools for automatic identification and classification of diatoms that compare photographs with other photographs and drawings, via a model. Identification of diatoms, i...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
VMCAI
2007
Springer
14 years 4 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
MICCAI
2004
Springer
14 years 11 months ago
2004
Springer
In this paper, we present a physics-based deformable model framework for the quantification of shape and motion parameters of the Left Anterior Descending (LAD) coronary artery in ...