Occam: Specification and Compiler Correctness - Part I: The Primary Model.
Egon BörgerIgor DurdanovicDean RosenzweigPublished in: PROCOMET (1994)
Keyphrases
- probabilistic model
- high level
- objective function
- management system
- data mining
- formal model
- statistical model
- state machine
- autoregressive
- prediction model
- simulation model
- parameter estimation
- theoretical analysis
- markov chain
- general purpose
- computational model
- object oriented
- probability distribution
- similarity measure
- database systems
- case study
- neural network