Decomposing Probabilistic Lambda-Calculi.

Ugo Dal Lago Giulio Guerrieri Willem Heijltjes

Published in: FoSSaCS (2020)

Keyphrases

image sequences
generative model
neural network
bayesian networks
probabilistic model
posterior probability
real time
information systems
image segmentation
hidden markov models