A formal proof of Sasaki-Murao algorithm.
Thierry CoquandAnders MörtbergVincent SilesPublished in: J. Formaliz. Reason. (2012)
Keyphrases
- dynamic programming
- theoretical analysis
- worst case
- selection algorithm
- computational complexity
- cost function
- experimental evaluation
- estimation algorithm
- segmentation algorithm
- preprocessing
- times faster
- computationally efficient
- optimization algorithm
- np hard
- objective function
- learning algorithm
- detection algorithm
- recognition algorithm
- knowledge base
- simulated annealing
- computational cost
- k means
- expectation maximization
- maximum likelihood
- high accuracy
- probabilistic model
- ant colony optimization
- tree structure
- classification algorithm
- significant improvement
- optimal solution
- similarity measure