Sciweavers

132 search results - page 8 / 27
» Context-specific approximation in probabilistic inference
Sort
View
POPL
2007
ACM
16 years 5 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
NIPS
2004
15 years 6 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 2 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
CVPR
2003
IEEE
16 years 7 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...
DCC
2011
IEEE
15 years 22 hour 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