Formal Relationships Between Geometrical and Classical Models for Concurrency

Eric Goubault Samuel Mimram

Published in: CoRR (2010)

Keyphrases

probabilistic model
formal models
hidden markov models
fine grained
image segmentation
database systems
multiscale
multi agent
expert systems
artificial neural networks
data mining
model selection
experimental data
neural network model
formal model
mathematical models
formal specification
data sets