1464 search results - page 47 / 293 » Thread-Modular Shape Analysis |
102
Voted
MVA
2006
15 years 21 days 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...
76
Voted
CAV
2007
Springer
15 years 7 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...
82
Voted
TACAS
2007
Springer
15 years 6 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...
85
Voted
VMCAI
2007
Springer
15 years 6 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 ...
100
Voted
MICCAI
2004
Springer
16 years 1 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 ...