Formalization of Wu's Simple Method in Coq.
Jean-David GénevauxJulien NarbouxPascal SchreckPublished in: CPP (2011)
Keyphrases
- detection method
- significant improvement
- computationally efficient
- experimental study
- synthetic data
- cost function
- high accuracy
- classification method
- first order logic
- error rate
- mutual information
- classification accuracy
- computational cost
- pairwise
- preprocessing
- computational complexity
- fully automatic
- feature set
- segmentation method
- machine learning
- objective function