223 search results - page 5 / 45 » Game Quantification Patterns |
POPL
2008
ACM
14 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
We investigate the problem of learning to predict moves in the board game of Go from game records of expert players. In particular, we obtain a probability distribution over legal...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Over the past 50 years, much attention has been given to the Prisoner’s Dilemma as a metaphor for problems surrounding the evolution and maintenance of cooperative and altrui...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
ECTEL
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we describe a social learning game we implemented to evaluate various means of ubiquitous learning support. Making use of game design patterns it was possible to impl...