Abstract and Model Check While You Prove.

Hassen Saïdi Natarajan Shankar

Published in: CAV (1999)

Keyphrases

computational model
mathematical model
objective function
conceptual model
databases
theoretical framework
hybrid model
bayesian framework
sensitivity analysis
hierarchical structure
experimental data
statistical model
lower bound
data structure
information retrieval
machine learning
neural network