4894 search results - page 221 / 979 » Choices |
164
click to vote
APAL
2006
15 years 7 months ago
2006
We investigate the question of whether one can characterize complexity classes (such as PSPACE or NEXP) in terms of efficient reducibility to the set of Kolmogorovrandom strings R...
179
click to vote
EOR
2008
15 years 7 months ago
2008
This paper deals with an extension of the concept of correlated strategies to Markov stopping games. The Nash equilibrium approach to solving nonzero-sum stopping games may give m...
195
click to vote
FGCS
2008
15 years 7 months ago
2008
This paper deals with the performance optimization of multiple-task applications in GRID environments. Typically such applications are launched by a Resource Manager, which only t...
165
click to vote
FUIN
2008
15 years 7 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
181
click to vote
BSL
2006
15 years 7 months ago
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...