SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators.

Daniel Gebler Simone Tini

Published in: CONCUR (2015)

Keyphrases

management system
expert systems
intelligent systems
learning systems
complex systems
neural network
machine learning
information retrieval
genetic algorithm
bayesian networks
distributed systems
data driven
building blocks
reactive systems