Formalizing SIMBA RTMAS Models using Real-time Maude.

Toufik Marir Farid Mokhati Hassina Seridi-Bouchelaghem

Published in: ICAART (1) (2013)

Keyphrases

real time
low cost
three dimensional
multiscale
data structure
software engineering
neural network model
statistical models
experimental data
statistical model
complex systems
machine learning algorithms
vision system
probabilistic model
prior knowledge
image segmentation
data mining