Login / Signup
Proofs-as-Model-Transformations.
Iman Poernomo
Published in:
ICMT@TOOLS (2008)
Keyphrases
</>
computational model
mathematical model
management system
network model
sensitivity analysis
statistical model
parameter estimation
multiscale
expert systems
cost function
face recognition
high level
theoretical framework
computer vision
artificial intelligence
machine learning
metamodel
data mining