1632 search results - page 199 / 327 » Modeling billiards games |
150
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
248
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We address skyline and top-k processing in web interaction scenarios. We model the problem space based on game theory principles and present new algorithms and heuristics to reali...
164
click to vote
CIG
2006
IEEE
16 years 19 days ago
2006
IEEE
—The ChessBrain project currently holds an official Guinness World Record for the largest number of computers used to play one single game of chess. In this paper, we cover the l...
148
click to vote
CSL
2005
Springer
16 years 2 days ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...
170
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— We propose a game theoretic pricing mechanism for statistically guaranteed service in packet-switched networks. The mechanism provides congestion control, differentiated qualit...