Sciweavers

1999 search results - page 15 / 400
» Finding Reductions Automatically
Sort
View
67
Voted
IJCAI
2007
14 years 11 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
ACL
2010
14 years 7 months ago
Finding Cognate Groups Using Phylogenies
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...
David Hall, Dan Klein
58
Voted
CSDA
2006
138views more  CSDA 2006»
14 years 9 months ago
Automatic dimensionality selection from the scree plot via the use of profile likelihood
Most dimension reduction techniques produce ordered coordinates so that only the first few coordinates need be considered in subsequent analyses. The choice of how many coordinate...
Mu Zhu, Ali Ghodsi
ACL
2009
14 years 7 months ago
Improving Automatic Speech Recognition for Lectures through Transformation-based Rules Learned from Minimal Data
We demonstrate that transformation-based learning can be used to correct noisy speech recognition transcripts in the lecture domain with an average word error rate reduction of 12...
Cosmin Munteanu, Gerald Penn, Xiaodan Zhu
ICAIL
2009
ACM
15 years 4 months ago
Integrating induction and deduction for finding evidence of discrimination
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
Dino Pedreschi, Salvatore Ruggieri, Franco Turini