Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm.
Jasmin Christian BlanchettePublished in: J. Autom. Reason. (2009)
Keyphrases
- learning algorithm
- computational complexity
- detection algorithm
- theoretical analysis
- high accuracy
- computational cost
- matching algorithm
- experimental evaluation
- cost function
- provably correct
- np hard
- search space
- convex hull
- preprocessing
- segmentation algorithm
- optimization algorithm
- optimal solution
- ant colony optimization
- times faster
- selection algorithm
- input data
- improved algorithm
- tree structure
- expectation maximization
- dynamic programming
- significant improvement
- bayesian networks