Probabilistic Output Analysis by Program Manipulation.

Mads Rosendahl Maja H. Kirkeby

Published in: QAPL (2015)

Keyphrases

static analysis
artificial intelligence
image analysis
machine learning
information systems
image processing
image sequences
multiscale
computer science
data analysis
programming language
generative model
computer programs
dynamic analysis