4403 search results - page 295 / 881 » Galois Theory of Algorithms |
183
click to vote
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
182
click to vote
SIGSOFT
2006
ACM
16 years 20 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
156
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
180
click to vote
CSL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
156
click to vote
SIGIR
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...