Back to Results
First PageMeta Content
Probability and statistics / Markov models / Non-classical logic / Probabilistic logic / Markov chain / Bayesian network / Bernoulli distribution / Graphical model / Probability distribution / Statistics / Bayesian statistics / Statistical models


Probabilistic Programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori
Add to Reading List

Document Date: 2014-02-03 11:01:04

Open Document

File Size: 754,80 KB

Share Result on Facebook

Company

Infer.NET / Bayesian Networks / Volterra / Markov Logic Networks / Microsoft / /

/

Facility

terminal SCC / terminal SCCs / /

IndustryTerm

software engineering / probabilistic programming systems / cryptographic protocols / Online Games / inference using algorithms / message passing algorithms / inference algorithms / cryptographic algorithms / verification tools / survey inference algorithms / software engineering community / /

Organization

Difficulty Intelligence / /

Person

Sriram K. Rajamani / Andrew D. Gordon / Thomas A. Henzinger Aditya V / /

Position

professor / MP / player / working programmer / programmer / /

Product

Algebraic Decision Diagrams (ADDs) / /

ProgrammingLanguage

SQL / Java / C / /

Technology

sampling algorithm / survey inference algorithms / alpha / inference algorithms / Java / relational database / message passing algorithms / performing inference using algorithms / machine learning / slicing algorithm / MCMC algorithm / Knuth-Yao algorithm / MH algorithm / PDF / /

URL

http /

SocialTag