A Mechanical Proof of Segall's PIF Algorithm.
Wim H. HesselinkPublished in: Formal Aspects Comput. (1997)
Keyphrases
- improved algorithm
- times faster
- worst case
- preprocessing
- cost function
- learning algorithm
- detection algorithm
- estimation algorithm
- computational complexity
- np hard
- experimental evaluation
- theoretical analysis
- expectation maximization
- linear programming
- optimization algorithm
- ant colony optimization
- single pass
- dynamic programming
- optimal solution
- input data
- high accuracy
- segmentation algorithm
- scheduling problem
- probabilistic model
- experimental study
- matching algorithm
- search space
- theorem prover
- objective function
- image processing