Towards a Proof Method for Paradigm.
L. P. J. GroenewegenR. KuiperErik P. de VinkPublished in: Theory and Practice of Formal Methods (2016)
Keyphrases
- experimental evaluation
- high accuracy
- computational cost
- error rate
- high precision
- computational complexity
- preprocessing
- segmentation method
- energy function
- experimental study
- clustering method
- edge detection
- evaluation method
- optimization method
- detection method
- mutual information
- genetic algorithm
- dynamic programming
- significant improvement
- objective function
- similarity measure