207 search results - page 25 / 42 » A Temporal Proof System for General Game Playing |
179
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
128
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The generalization of game-based Learning Objects as serious learning material requires their integration into pre-existing e-learning infrastructure (systems and courses...
182
click to vote
CALCO
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
202
click to vote
FDG
2009
ACM
16 years 11 days ago
2009
ACM
In recent years the popularity of music and rhythm-based games has experienced tremendous growth. However almost all of these games require custom hardware to be used as input dev...
189
click to vote
HIPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper formulates the job allocation problem in distributed systems with bandwidth-constrained nodes. The bandwidth limitations of the nodes play an important role in...