Towards Computing Revised Models for FO Theories.

Johan Wittocx Broes De Cat Marc Denecker

Published in: INAP (2009)

Keyphrases

statistical models
probabilistic model
parameter estimation
formal models
multiscale
relational databases
experimental data
computational models
database
real time
case study
query language
mathematical models
accurate models