Automating the Diagram Method to Prove Correctness of Program Transformations.
David SabelPublished in: WPTE@FSCD (2018)
Keyphrases
- high accuracy
- significant improvement
- detection method
- data sets
- high precision
- fully automatic
- segmentation method
- experimental evaluation
- cost function
- lower bound
- computational cost
- computational complexity
- input data
- computationally efficient
- theoretical analysis
- optimization algorithm
- clustering method
- objective function
- energy function
- multiscale
- similarity measure
- machine learning