1653 search results - page 302 / 331 » Computer science and game theory |
202
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...
163
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
192
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
205
click to vote
HOTOS
1993
IEEE
15 years 10 months ago
1993
IEEE
I argue against trying to solve the problem of clustering objects into disk pages. Instead, I propose that objects be fetched in groups that may be specific to an application or ...
175
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
Following recent interest in the study of computer science problems in a game theoretic setting, we consider the well known bin packing problem where the items are controlled by se...