Proving uniformity and independence by self-composition and coupling.

Gilles Barthe Thomas Espitau Benjamin Grégoire Justin Hsu Pierre-Yves Strub

Published in: LPAR (2017)

Keyphrases

data mining
artificial intelligence
computer vision
conditional independence
web service composition
database
databases
neural network
similarity measure
training data
bayesian networks
multiscale
management system
independence assumption