6355 search results - page 249 / 1271 » From Logic to Games |
169
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— In this paper, we formulate an optimal rate allocation scheme for uplink and downlink in a single-cell CDMA system. Using concepts from game theory, we show that it is ...
169
click to vote
ICGA
2008
15 years 6 months ago
2008
Single-player games (often called puzzles) have received considerable attention from the scientific community. Consequently, interesting insights into some puzzles, and into the a...
155
click to vote
ICGA
2007
15 years 6 months ago
2007
The phenomenon of diminishing returns for additional search effort has been observed by several researchers. We study experimentally additional factors which influence the behavio...
213
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
220
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...