Completeness for the coalgebraic cover modality

Clemens Kupke Alexander Kurz Yde Venema

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

multi modal
medical images
case study
bayesian networks
association rules
data model
low level
input image
data quality