A Formal Analysis of Karn's Algorithm.
Max von HippelKenneth L. McMillanCristina Nita-RotaruLenore D. ZuckPublished in: NETYS (2023)
Keyphrases
- formal analysis
- dynamic programming
- cost function
- experimental evaluation
- high accuracy
- segmentation algorithm
- learning algorithm
- computational cost
- optimization algorithm
- simulated annealing
- matching algorithm
- computational complexity
- significant improvement
- search space
- search algorithm
- optimal solution
- detection algorithm
- convergence rate
- recognition algorithm
- np hard
- worst case
- neural network
- k means
- lower bound
- preprocessing
- knowledge base
- genetic algorithm