77016 search results - page 678 / 15404 » Modelling |
164
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel phoneme-based student model for spelling training. Our model is data driven, adapts to the user and provides information for, e.g., optimal word selection. We de...
188
Voted
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
179
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an ...
144
Voted
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
214
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...