4447 search results - page 534 / 890 » Model Checking Games |
178
click to vote
LWA
2007
15 years 8 months ago
2007
Serious games that should adapt training to the individual might benefit from methods that are developed for intelligent tutoring systems. One method, model tracing, might be used...
174
click to vote
NSPW
2006
ACM
16 years 24 days ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
154
click to vote
ADVAI
2010
15 years 1 months ago
2010
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...
177
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
High performance computing is critical for financial markets where analysts seek to accelerate complex optimizations such as pricing engines to maintain a competitive edge. In th...
198
click to vote
ACMICEC
2006
ACM
16 years 25 days ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...