Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families.
Loek CleophasDerrick G. KourieVreda PieterseIna SchaeferBruce W. WatsonPublished in: ISoLA (1) (2016)
Keyphrases
- objective function
- optimization algorithm
- detection algorithm
- computational complexity
- improved algorithm
- high accuracy
- dynamic programming
- learning algorithm
- theoretical analysis
- data sets
- probabilistic model
- experimental evaluation
- np hard
- matching algorithm
- estimation algorithm
- clustering method
- times faster
- recognition algorithm
- expectation maximization
- particle swarm optimization
- search space
- preprocessing
- segmentation algorithm
- simulated annealing
- shortest path
- cost function
- experimental study
- tree structure
- classification algorithm
- multi objective
- k means
- convergence rate
- multiscale
- space variant