Understanding Specification Languages through Their Model Theory.
Ethan K. JacksonWolfram SchultePublished in: Monterey Workshop (2012)
Keyphrases
- computational model
- formal model
- high level
- computational models
- experimental data
- probabilistic model
- input data
- mathematical framework
- theoretical framework
- management system
- cost function
- information systems
- learning algorithm
- neural network
- theoretical analysis
- probability distribution
- mathematical model
- similarity measure
- mathematical models