Robert C. Moore

Audio Set: An ontology and human-labeled dataset for audio events

Jort F. Gemmeke, Daniel P. W. Ellis, Dylan Freedman et al. · 2017 · 2.9K citations

Music, Engineering, Machine Learning +22

CNN architectures for large-scale audio classification

Shawn Hershey, Sourish Chaudhuri, Daniel P. W. Ellis et al. · 2017 · 2.4K citations

Music, Convolutional Neural Network, Deep Neural Networks +15

Intelligent Selection of Language Model Training Data

Robert C. Moore, William D. Lewis · 2010 · 538 citations

An improved error model for noisy channel spelling correction

Eric Brill, Robert C. Moore · 2000 · 537 citations · Full text

Engineering, Error Control Technique, Generic String +19

Making the transition to formal proof

Robert C. Moore · Educational Studies in Mathematics · 1994 · 456 citations

Formal Proof, Engineering, Automated Reasoning +7