Contradiction Analysis for Inconsistent Formal Models.

Nils Przigoda Robert Wille Rolf Drechsler

Published in: DDECS (2015)

Keyphrases

formal models
image analysis
database
data sets
formal model
real time
video sequences
multi agent systems
digital libraries
data analysis
evolutionary algorithm
multiresolution
quantitative analysis