Institutions: Abstract Model Theory for Specification and Programming.
Joseph A. GoguenRod M. BurstallPublished in: J. ACM (1992)
Keyphrases
- high level
- computational model
- probabilistic model
- formal model
- statistical model
- similarity measure
- prior knowledge
- management system
- theoretical framework
- conceptual model
- modelling language
- data sets
- specification language
- formal methods
- simulation model
- mathematical model
- parameter estimation
- input data
- objective function
- neural network