1492 search results - page 99 / 299 » Testing Properties of Constraint-Graphs |
135
Voted
PAMI
2006
15 years 3 months ago
2006
Nonparametric neighborhood methods for learning entail estimation of class conditional probabilities based on relative frequencies of samples that are "near-neighbors" of...
128
Voted
AI
2005
Springer
15 years 3 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
140
Voted
ACL
2009
15 years 1 months ago
2009
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
161
Voted
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...
123
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...