Back to Results
First PageMeta Content
Mathematical analysis / Probability / Normal distribution / Function / Independence / Conditional independence / Probability theory / Mathematics / Statistical dependence


Slicing Probabilistic Programs Chung-Kil Hur ∗ Aditya V. Nori Sriram K. Rajamani
Add to Reading List

Document Date: 2014-03-25 08:44:34


Open Document

File Size: 447,34 KB

Share Result on Facebook

City

Edinburgh / /

Company

Infer.NET / Intel / Microsoft / /

Country

Korea / United Kingdom / /

Currency

USD / /

/

Facility

Engineering Research Center of Excellence Program / /

IndustryTerm

probabilistic programming systems / pre-processing tool / inference tool / belief propagation algorithm / /

OperatingSystem

Microsoft Windows / /

Organization

Korea Ministry of Science / Seoul National University / Engineering Research Center of Excellence Program / National Research Foundation of Korea / /

Person

Kil Hur / V. Nori Sriram / /

Position

author / /

Product

R2 / S LI / /

ProgrammingLanguage

Java / C / K / /

ProvinceOrState

Newfoundland / /

Technology

speech recognition / RAM / Java / dom / machine learning / slicing algorithm / belief propagation algorithm / /

URL

http /

SocialTag