A Formal Analysis of Karn's Algorithm.

Max von Hippel Kenneth L. McMillan Cristina Nita-Rotaru Lenore D. Zuck

Published 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