A Modular Formalization of Reversibility for Concurrent Models and Languages.

Alexis Bernadet Ivan Lanese

Published in: ICE (2016)

Keyphrases

probabilistic model
prior knowledge
statistical models
computational models
neural network
machine learning
decision trees
image sequences
knowledge representation
machine learning algorithms