A Strategy for Verification of Decomposable SCR Models.

Dejan Desovski Bojan Cukic

Published in: PRDC (2006)

Keyphrases

probabilistic model
genetic algorithm
complex systems
statistical models
formal verification
data mining
information retrieval
computer vision
information systems
case study
search algorithm
prior knowledge
experimental data
modeling framework