A Formal Proof of a Paradox Associated with Cohen's Kappa.

Matthijs J. Warrens

Published in: J. Classif. (2010)

Keyphrases

formal proof
theorem prover
artificial intelligence
roc curve
maximum likelihood
information extraction
feature space
expert systems
machine learning
natural language
retrieval systems