5243 search results - page 352 / 1049 » Reasoning About Strategies |
133
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We compare static arbitrage price bounds on basket calls, i.e. bounds that only involve buy-and-hold trading strategies, with the price range obtained within a multivariate genera...
195
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
151
click to vote
STTT
2002
15 years 6 months ago
2002
Physics, biology, and medicine have well-refined public explanations of their research processes. Even in simplified form, these provide guidance about what counts as "good re...
144
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
218
click to vote
MAGS
2010
15 years 1 months ago
2010
This paper analyzes sequential auctions for budget constrained bidders, for multiple heterogeneous common value objects. In most auctions, bidders not only have valuations for obj...