Login / Signup
Branching Bisimulation Congruence for Probabilistic Systems.
Nikola Trcka
Sonja Georgievska
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
management system
building blocks
neural network
software engineering
generative model
learning algorithm
artificial intelligence
clustering algorithm
database systems
computational intelligence
intelligent systems
computer systems
branch and bound
belief networks