Implementation of LMNtal Model Checkers: a Metaprogramming Approach.
Yutaro TsunekawaTaichi TomiokaKazunori UedaPublished in: J. Object Technol. (2018)
Keyphrases
- database
- theoretical analysis
- probabilistic model
- statistical model
- high level
- data sets
- parameter values
- formal model
- mathematical model
- computational model
- data structure
- neural network
- image sequences
- parameter estimation
- database systems
- theoretical framework
- decision trees
- artificial intelligence
- experimental data
- sensitivity analysis
- neural network model
- data mining
- hybrid model