Towards a Proof Method for Paradigm.

L. P. J. Groenewegen R. Kuiper Erik P. de Vink

Published 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