Translating Stochastic CLS into Maude.

Thomas Anung Basuki Antonio Cerone Paolo Milazzo

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

monte carlo
stochastic model
stochastic optimization
data mining
artificial intelligence
search algorithm
hidden markov models
formal specification
stochastic programming
learning algorithm
e learning
multiscale
stochastic process
stochastic models
equational theories