4447 search results - page 613 / 890 » Model Checking Games |
148
click to vote
WSC
2004
15 years 8 months ago
2004
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
188
click to vote
WSC
2004
15 years 8 months ago
2004
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
204
click to vote
WSC
2004
15 years 8 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
207
click to vote
WSC
2004
15 years 8 months ago
2004
Group behaviors, e.g. birds flocking, are widely used in virtual reality, computer games, robotics and artificial life. While many methods to simulate group behaviors have been pr...
180
click to vote
ACL
1998
15 years 8 months ago
1998
The paper argues that language change can be explained through the stochasticity observed in real-world natural language use. This thesis is demonstrated by modeling language use ...