Speeding up the Constraint-Based Method in Difference Logic.
Lorenzo CandeagoDaniel LarrazAlbert OliverasEnric Rodríguez-CarbonellAlbert RubioPublished in: SAT (2016)
Keyphrases
- high accuracy
- preprocessing
- cost function
- machine learning
- data sets
- dynamic programming
- evaluation method
- fully automatic
- main contribution
- computationally efficient
- image quality
- support vector machine
- significant improvement
- high resolution
- image processing
- experimental evaluation
- pairwise
- theoretical analysis
- computational complexity
- support vector machine svm
- clustering method
- mathematical model
- matching algorithm
- similarity measure