Verifying trace inclusion between an experimental frame and a model.

Vincent Albert Alexandre Nketsa C. Seguin

Published in: SpringSim (2010)

Keyphrases

mathematical model
high level
computational model
statistical model
probabilistic model
theoretical analysis
experimental data
parameter estimation
network model
formal model
sensitivity analysis
network structure
neural network
objective function
reinforcement learning
computer vision
social networks