Journal of Automated Reasoning · 2014 · 77 citations · 28 references
ComputingComputer ScienceMathematicsAlgorithmsMachine LearningTheory Of ComputationAutomated ReasoningFirst-order LogicPredicate LogicProof AssistantsProof ComplexityTheorem ProvingAutomated Theorem Proving
28
UCI Machine Learning Repository
Arthur Asuncion · Medical Entomology and Zoology · 2007 · 24.4K citations
Pattern Recognition and Machine Learning
Journal of Electronic Imaging · 2007 · 22.1K citations
An introduction to ROC analysis
Tom Fawcett · Pattern Recognition Letters · 2005 · 21.3K citations
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection
Ron Kohavi · 1995 · 10.7K citations · Full text
Haibo He, Edwardo A. Garcia · IEEE Transactions on Knowledge and Data Engineering · 2009 · 9.7K citations