Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable.
Pedro BarrosoMário PereiraAntónio RavaraPublished in: VSTTE (2022)
Keyphrases
- computational model
- real time
- artificial intelligence
- parameter values
- bayesian framework
- conceptual model
- experimental data
- statistical model
- mathematical model
- cost function
- prior knowledge
- probabilistic model
- management system
- access control
- database
- high level
- decision making
- neural network model
- feature selection
- formal model
- neural network
- object model
- linear model
- autoregressive
- short term memory