1299 search results - page 63 / 260 » Quantitative Simulation Games |
127
Voted
ROBVIS
2001
Springer
15 years 8 months ago
2001
Springer
One of the reasons for organizing robotic games is that they allow researchers to evaluate their systems and approaches on a level playing field. This evaluation is important in a...
128
Voted
HYBRID
1999
Springer
15 years 7 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
127
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
105
click to vote
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we present a framework for rapid prototyping of airplane designs as an example of the benefits of integrating simulation, gaming, and design interfaces into a cohesi...
145
click to vote
ROBOCUP
1999
Springer
15 years 7 months ago
1999
Springer
TheCMUnited-99 simulator team became the 1999 RoboCup simulator league champion by winning all 8 of its games, outscoring opponents by a combined score of 110{0. CMUnited-99 builds...