A Type-Theoretic Framework for Certified Model Transformations.

Daniel Calegari Carlos Luna Nora Szasz Alvaro Tasistro

Published in: SBMF (2010)

Keyphrases

theoretic framework
mathematical model
management system
probabilistic model
case study
pattern recognition
pairwise
artificial neural networks
mutual information
input data
information theoretic
hierarchical structure
sensitivity analysis
neural network model
network model
spectral graph