Short Proofs of the Pigeonhole Formulas Based on the Connection Method.
Wolfgang BibelPublished in: J. Autom. Reason. (1990)
Keyphrases
- cost function
- mutual information
- fully automatic
- synthetic data
- high accuracy
- experimental evaluation
- similarity measure
- input data
- optimization algorithm
- detection method
- pairwise
- classification method
- probabilistic model
- clustering method
- error rate
- computational complexity
- dynamic programming
- classification accuracy
- prior knowledge
- feature set
- detection algorithm
- segmentation method