A Contraction Method to Decide MSO Theories of Deterministic Trees.
Angelo MontanariGabriele PuppisPublished in: LICS (2007)
Keyphrases
- detection method
- high accuracy
- cost function
- synthetic data
- preprocessing
- high precision
- classification method
- dynamic programming
- classification accuracy
- tree structure
- segmentation method
- medical images
- image registration
- neural network
- probabilistic model
- multiresolution
- pairwise
- computational complexity
- machine learning