On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model.
Itaru TakarajimaKiyoshi AkamaYoshinori ShigetaIkumi ImaniPublished in: MSV/AMCS (2004)
Keyphrases
- formal model
- probability distribution
- mathematical model
- conceptual model
- theoretical framework
- computational model
- em algorithm
- stochastic model
- experimental data
- statistical model
- management system
- probabilistic model
- cost function
- high level
- database
- objective function
- bayesian networks
- information retrieval
- data mining
- network model
- linear model
- autoregressive
- data sets