Composing model programs for analysis.

Margus Veanes Jonathan Jacky

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

empirical data
neural network model
formal model
experimental data
statistical analysis
hierarchical structure
mathematical model
input data
data analysis
website
artificial intelligence
management system
database
theoretical analysis
high level
sensitivity analysis
computer vision
databases