6040 search results - page 416 / 1208 » Generating Instance Models from Meta Models |
181
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
155
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
Atmospheric flow and pollutant dispersion over built-up areas are affected by phenomena occurring at different scales. Hence, scale interactions should also be considered in the m...
187
click to vote
SPEECH
1998
15 years 6 months ago
1998
We consider the problem of obtaining a reduced dimension representation of electropalatographic (EPG) data. An unsupervised learning approach based on latent variable modelling is...
161
click to vote
IJAHUC
2010
15 years 5 months ago
2010
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
199
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...