64 search results - page 11 / 13 » Solving Parity Games in Practice |
CSEE
2011
Springer
12 years 9 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
ICALT
2009
IEEE
13 years 10 months ago
2009
IEEE
Although Virtual Learning Environments have become popular educational tools, they remain a very active research topic. Two important aspects being discussed for next-generation V...
CHI
2010
ACM
13 years 7 months ago
2010
ACM
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
NPL
2000
13 years 5 months ago
2000
In standard neuro-evolution, a population of networks is evolved in a task, and the network that best solves the task is found. This network is then fixed and used to solve future...
AAAI
2010
13 years 7 months ago
2010
Depth-first proof-number search (df-pn) is powerful AND/OR tree search to solve positions in games. However, df-pn has a notorious problem of infinite loops when applied to domain...