A formalization of the SMEPP model in Maude.

Francisco Durán Francisco Gutiérrez Pablo López Ernesto Pimentel

Published in: MobiQuitous (2008)

Keyphrases

formal model
computational model
high level
real time
cost function
neural network
prior knowledge
probabilistic model
management system
input data
em algorithm
mathematical model
sensitivity analysis
parameter values
hybrid model