An Efficient Algorithm for Combining Verification and Validation Methods.
Isela MendozaUéverton S. SouzaMarcos KalinowskiRuben InterianLeonardo Gresta Paulino MurtaPublished in: SOFSEM (2019)
Keyphrases
- preprocessing
- significant improvement
- dynamic programming
- computational cost
- synthetic and real datasets
- synthetic and real images
- synthetic and real world datasets
- recently published
- benchmark data sets
- computationally efficient
- learning algorithm
- optimization algorithm
- detection algorithm
- cost function
- exhaustive search
- heuristic methods
- times faster
- theoretical analysis
- high accuracy
- experimental evaluation
- k means
- computational complexity
- segmentation algorithm
- matching algorithm
- noisy data
- np hard
- search space
- similarity measure
- data mining techniques
- theoretical guarantees
- simulated and real data
- bayesian networks
- search algorithm
- reconstruction method
- parameter settings
- clustering method
- image registration