215 search results - page 6 / 43 » Coarse-to-Fine Inference and Learning for First-Order Probab... |
165
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
250
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
148
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
Evaluating rankers using implicit feedback, such as clicks on documents in a result list, is an increasingly popular alternative to traditional evaluation methods based on explici...
139
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
There has been much interest in unsupervised learning of hierarchical generative models such as deep belief networks. Scaling such models to full-sized, high-dimensional images re...
144
click to vote
EMNLP
2007
15 years 5 months ago
2007
We develop latent Dirichlet allocation with WORDNET (LDAWN), an unsupervised probabilistic topic model that includes word sense as a hidden variable. We develop a probabilistic po...