Sign in
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