From Shape Analysis to Termination Analysis in Linear Time.
Roman ManevichBoris DogadovNoam RinetzkyPublished in: CAV (1) (2016)
Keyphrases
- shape analysis
- termination analysis
- active rules
- active databases
- abstract interpretation
- shape representation
- shape descriptors
- image analysis and pattern recognition
- medical imaging
- shape space
- preserving transformations
- multiresolution
- database
- integrity constraints
- business processes
- web services
- neural network