1167 search results - page 201 / 234 » Relational Markov Games |
DIGITEL
2008
IEEE
14 years 4 months ago
2008
IEEE
Learning Villages (LV) is a game-based computersupported collaborative learning (CSCL) platform, which facilitates students’ issue-based discussion in a massively multiplayer ga...
SASP
2008
IEEE
14 years 4 months ago
2008
IEEE
Ray tracing is a technique used for generating highly realistic computer graphics images. In this paper, we explore the design of a simple but extremely parallel, multi-threaded, ...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— The problem of an effective coordination of multiple autonomous robots is one of the most important tasks of the modern robotics. In turn, it is well known that the lea...
COCO
2007
Springer
14 years 4 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...