1299 search results - page 140 / 260 » Quantitative Simulation Games |
139
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
In human-level simulations, like video games can be, the design of character's behaviors has an important impact on simulation realism. We propose to divide it into a reasonin...
147
Voted
GEM
2009
15 years 1 months ago
2009
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
124
Voted
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
A deformable registration method is proposed to register a brain atlas with tumor-bearing brain scans. The tumor mass effect is first simulated in the (normal) atlas, using a biom...
138
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
123
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....