The Timed Failures-Stability Model for CSP.
George M. ReedA. W. RoscoePublished in: Theor. Comput. Sci. (1999)
Keyphrases
- computational model
- formal model
- probabilistic model
- objective function
- image segmentation
- simulation model
- probability distribution
- experimental data
- em algorithm
- theoretical framework
- expectation maximization
- constraint networks
- constraint propagation
- neural network model
- conceptual model
- mathematical model
- constraint satisfaction problems
- social networks
- management system
- state space
- cost function
- prior knowledge
- bayesian networks
- similarity measure
- web services