A State-of-the-Art Karp-Miller Algorithm Certified in Coq.
Thibault HilaireDavid IlcinkasJérôme LerouxPublished in: TACAS (1) (2024)
Keyphrases
- experimental evaluation
- segmentation algorithm
- high accuracy
- improved algorithm
- detection algorithm
- simulated annealing
- cost function
- learning algorithm
- classification algorithm
- expectation maximization
- computational cost
- dynamic programming
- k means
- np hard
- preprocessing
- computational complexity
- objective function
- significant improvement
- search space
- theoretical analysis
- neural network
- recognition algorithm
- convergence rate
- ant colony optimization
- matching algorithm
- estimation algorithm
- convex hull
- path planning
- feature selection
- tree structure
- experimental study
- optimization algorithm
- optimal solution
- probabilistic model