Continualization of Probabilistic Programs With Correction.

Jacob Laurel Sasa Misailovic

Published in: ESOP (2020)

Keyphrases

decision making
probabilistic model
data structure
data driven
generative model
uncertain data
probabilistic interpretation
real time
automatic programming
probabilistic logic
probability theory
computer programs
answer sets
maximum entropy
expert systems
case study
web services
computer vision