Login / Signup
Automated Formalisation for Verification of Diagrammatic Models.
James R. Williams
Fiona A. C. Polack
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
fully automated
information retrieval
database systems
data structure
formal analysis
neural network
hidden markov models
model selection
complex systems
statistical models