Sciweavers

132 search results - page 8 / 27
» Context-specific approximation in probabilistic inference
Sort
View
246
Voted
POPL
2007
ACM
16 years 3 months ago
Program verification as probabilistic inference
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...
Sumit Gulwani, Nebojsa Jojic
126
Voted
NIPS
2004
15 years 4 months ago
Probabilistic Inference of Alternative Splicing Events in Microarray Data
Alternative splicing (AS) is an important and frequent step in mammalian gene expression that allows a single gene to specify multiple products, and is crucial for the regulation ...
Ofer Shai, Brendan J. Frey, Quaid Morris, Qun Pan,...
ACL
2009
15 years 1 months ago
Variational Inference for Grammar Induction with Prior Knowledge
Variational EM has become a popular technique in probabilistic NLP with hidden variables. Commonly, for computational tractability, we make strong independence assumptions, such a...
Shay B. Cohen, Noah A. Smith
152
Voted
CVPR
2003
IEEE
16 years 5 months ago
Variational Inference for Visual Tracking
The likelihood models used in probabilistic visual tracking applications are often complex non-linear and/or nonGaussian functions, leading to analytically intractable inference. ...
Jaco Vermaak, Neil D. Lawrence, Patrick Pér...
134
Voted
DCC
2011
IEEE
14 years 10 months ago
Deplump for Streaming Data
We present a general-purpose, lossless compressor for streaming data. This compressor is based on the deplump probabilistic compressor for batch data. Approximations to the infere...
Nicholas Bartlett, Frank Wood