Forester: Shape Analysis Using Tree Automata - (Competition Contribution).
Lukás HolíkMartin HruskaOndrej LengálAdam RogalewiczJirí SimácekTomás VojnarPublished in: TACAS (2015)
Keyphrases
- shape analysis
- tree automata
- regular expressions
- finite automata
- shape representation
- finite state
- shape recognition
- shape descriptors
- image analysis and pattern recognition
- medical imaging
- finite automaton
- tree languages
- shape space
- preserving transformations
- closed curves
- context free grammars
- databases
- context sensitive
- markov chain
- hidden markov models
- data model
- pattern recognition
- database