1299 search results - page 24 / 260 » Quantitative Simulation Games |
126
click to vote
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
NOLISP
2007
Springer
15 years 8 months ago
2007
Springer
Classical objective criteria evaluate speech quality using one quantity which embed all possible kind of degradation. For speech denoising applications, there is a great need to d...
135
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
116
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...
127
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...