1056 search results - page 81 / 212 » Representation and Self-Similarity of Shapes |
165
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
162
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
173
click to vote
CVIU
2008
15 years 6 months ago
2008
In this paper, we present an efficient and robust algorithm for shape matching, registration, and detection. The task is to geometrically transform a source shape to fit a target ...
180
click to vote
IJCV
2007
15 years 6 months ago
2007
The shape of a population of geometric entities is characterized by both the common geometry of the population and the variability among instances. In the deformable model approach...
169
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...