1698 search results - page 63 / 340 » Growing Complex Games |
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
COCO
2004
Springer
15 years 3 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
TCS
2008
14 years 9 months ago
2008
We consider various well-known, equivalent complexity measures for graphs such as elimination orderings, k-trees and cops and robber games and study their natural translations to ...
KDD
2008
ACM
15 years 10 months ago
2008
ACM
The United States National Basketball Association (NBA) is one of the most popular sports league in the world and is well known for moving a millionary betting market that uses th...
LMCS
2007
14 years 9 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...