Login / Signup
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.
Luca Aceto
Ignacio Fábregas
David de Frutos-Escrig
Anna Ingólfsdóttir
Miguel Palomino
Published in:
FSEN (2011)
Keyphrases
</>
modal logic
numerical simulations
scale space
learning algorithm
data structure
search space
molecular dynamics
nonmonotonic logics
simulation models
mathematical analysis
simulation study
database
reinforcement learning
face recognition
case study
decision trees
machine learning
neural network