A fully abstract denotational model for observational precongruence.
Anna IngólfsdóttirAndrea SchalkPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- statistical model
- probabilistic model
- neural network
- high level
- formal model
- prior knowledge
- management system
- computational model
- information systems
- conceptual model
- mathematical model
- theoretical framework
- em algorithm
- cost function
- experimental data
- similarity measure
- simulation model
- database systems
- prediction model
- parameter values
- linear model