8512 search results - page 166 / 1703 » Computing Theory With Relevance |
150
click to vote
UAI
2001
15 years 5 months ago
2001
We introduce a compact graph-theoretic representation for multi-party game theory. Our main result is a provably correct and efficient algorithm for computing approximate Nash equ...
145
click to vote
COLING
1996
15 years 5 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
101
click to vote
JSC
2006
15 years 4 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
146
Voted
Lecture Notes
These notes cover several topics such as Mean-Variance Frontier, Index Models, Risk Measures, CAPM, Utility-Based Portfolio Choice, CAPM Extensions
Investment for the Long Run, Te...
124
click to vote
IWPEC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...