Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).
Lukás HolíkMartin HruskaOndrej LengálAdam RogalewiczJirí SimácekTomás VojnarPublished in: TACAS (2) (2017)
Keyphrases
- data structure
- cellular automata
- shape model
- pattern matching
- shape analysis
- shape recognition
- finite state machines
- international competition
- image segmentation
- shape retrieval
- shape representation
- shape matching
- shape descriptors
- hausdorff distance
- shape prior
- shape classification
- probabilistic automata
- lattice gas
- user defined