Correctness Proof of the Standardized Algorithm for ABR Conformance.
Jean-François MoninFrancis KlayPublished in: World Congress on Formal Methods (1999)
Keyphrases
- detection algorithm
- learning algorithm
- provably correct
- computational complexity
- optimization algorithm
- optimal solution
- experimental evaluation
- preprocessing
- expectation maximization
- np hard
- experimental study
- segmentation algorithm
- theoretical analysis
- high accuracy
- computational cost
- matching algorithm
- machine learning
- classification algorithm
- improved algorithm
- single pass
- input data
- face recognition
- cost function
- significant improvement
- k means
- search space
- objective function