Constraint Prioritization for Efficient Analysis of Declarative Models.

Engin Uzuncaova Sarfraz Khurshid

Published in: FM (2008)

Keyphrases

data analysis
data sets
genetic algorithm
probabilistic model
statistical models
artificial intelligence
multiscale
multi agent
prior knowledge
parameter estimation
experimental data
empirical data