Login / Signup
The Stable Revivals Model in CSP-Prover.
D. Gift Samuel
Markus Roggenbach
Yoshinao Isobe
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
computational model
probabilistic model
probability distribution
objective function
statistical model
cost function
neural network
theoretical framework
input data
management system
case study
np hard
hidden markov models
prior knowledge
multiscale
similarity measure
mathematical model
real time