The Map Equality Domain.

Daniel Dietsch Matthias Heizmann Jochen Hoenicke Alexander Nutz Andreas Podelski

Published in: VSTTE (2018)

Keyphrases

domain specific
domain independent
database
data sets
learning environment
special case
domain ontology
maximum a posteriori