CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).

Petr Müller Tomás Vojnar

Published in: TACAS (2014)

Keyphrases

shape model
shape descriptors
shape features
shape change
data acquisition
shape matching
shape representation
shape recovery
viewpoint
shape analysis
texture information
shape similarity
database
probabilistic model
shape prior
closed curves