1581 search results - page 76 / 317 » Mechanizing Inductive Reasoning |
164
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We study a representative task allocation problem called shortest paths: Let G be a graph in which the edges are owned by self interested agents. The cost of each edge is privatel...
151
click to vote
SIGECOM
2006
ACM
16 years 4 days ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
201
click to vote
ACMICEC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
171
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
165
click to vote
VIROLOGY
2008
15 years 6 months ago
2008
High-interaction honeypots are interesting as they help understand how attacks unfold on a compromised machine. However, observations are generally limited to the operations perfo...