Leveraging the Analysis for Invariant Independence in Formal System Models.

Nils Przigoda Robert Wille Rolf Drechsler

Published in: DSD (2015)

Keyphrases

prior knowledge
probabilistic model
statistical models
complex systems
data sets
computer vision
feature selection
database systems
mathematical models
empirical data
formal analysis
model validation