1888 search results - page 254 / 378 » Proof theory and computational analysis |
100
click to vote
WWW
2005
ACM
15 years 7 months ago
2005
ACM
: We believe that much novel insight into the worldwide web can be obtained from taking into account the important fact that it is created, used, and run by selfish optimizing agen...
121
click to vote
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
For a set S of points in Rd, an s-spanner is a graph on S such that any pair of points is connected via some path in the spanner whose total length is at most s times the Euclidea...
109
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
128
click to vote
SIGECOM
2003
ACM
15 years 7 months ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
102
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We consider PAC learning of simple cooperative games, in which the coalitions are partitioned into "winning" and "losing" coalitions. We analyze the complexity...