Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction.
David FriggensLindsay GrovesPublished in: ACSC (2014)
Keyphrases
- canonical form
- shape model
- shape descriptors
- user defined
- shape representation
- face verification
- shape retrieval
- bounded model checking
- search algorithm
- shape modeling
- shape recognition
- high level
- shape prior
- arbitrarily shaped
- perceptual grouping
- shape analysis
- vector field
- model checking
- object recognition
- feature extraction