Sound and Complete Equational Reasoning over Comodels.

Dirk Pattinson Lutz Schröder

Published in: MFPS (2015)

Keyphrases

image segmentation
data sets
neural network
image processing
multimedia
bayesian networks
cooperative
information technology