Polygon Merge: A Geometric Algorithm Verified Using PVS.
Ben L. Di VitoAshlie B. HockingPublished in: NFM (2021)
Keyphrases
- dynamic programming
- times faster
- optimal solution
- computational complexity
- experimental evaluation
- learning algorithm
- high accuracy
- segmentation algorithm
- objective function
- preprocessing
- detection algorithm
- recognition algorithm
- optimization algorithm
- simulated annealing
- cost function
- linear programming
- expectation maximization
- theoretical analysis
- k means
- matching algorithm
- path planning
- search space
- convex hull
- lower bound