4447 search results - page 259 / 890 » Model Checking Games |
148
click to vote
AIIDE
2007
15 years 7 months ago
2007
Character behaviors in computer role-playing games have a significant impact on game-play, but are often difficult for game authors to implement and adapt. We present a behavior m...
151
click to vote
WSC
2008
15 years 7 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
ORI
2008
15 years 4 months ago
2008
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...
129
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We investigate the automatic labelling of “events” from an audio recording of a sports game. We describe a technique that utilises a hierarchy of language models, which are a ...
133
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...