C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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