Formalizing the Edmonds-Karp Algorithm.
Peter LammichS. Reza SefidgarPublished in: Arch. Formal Proofs (2016)
Keyphrases
- significant improvement
- dynamic programming
- learning algorithm
- detection algorithm
- high accuracy
- computational complexity
- computational cost
- cost function
- experimental evaluation
- optimization algorithm
- k means
- np hard
- improved algorithm
- optimal solution
- recognition algorithm
- matching algorithm
- estimation algorithm
- segmentation algorithm
- theoretical analysis
- expectation maximization
- hidden markov models
- data structure
- objective function