Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm.
Holger GastPublished in: ICFEM (2011)
Keyphrases
- detection algorithm
- high accuracy
- objective function
- linear programming
- experimental evaluation
- dynamic programming
- improved algorithm
- search space
- learning algorithm
- times faster
- computational complexity
- experimental study
- optimal solution
- theoretical analysis
- optimization algorithm
- recognition algorithm
- convex hull
- clustering method
- provably correct
- parameter estimation
- probabilistic model
- computational cost
- np hard
- significant improvement
- computationally efficient
- expectation maximization
- simulated annealing
- tree structure
- matching algorithm
- selection algorithm
- single pass
- preprocessing