2208 search results - page 333 / 442 » On Issues of Instance Selection |
132
Voted
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
127
Voted
WAOA
2005
Springer
15 years 9 months ago
2005
Springer
We study computational and coordination efficiency issues of Nash equilibria in symmetric network congestion games. We first propose a simple and natural greedy method that comput...
109
Voted
AFRIGRAPH
2004
ACM
15 years 9 months ago
2004
ACM
We present a technique for capturing the extreme dynamic range of natural illumination environments that include the sun and sky, which has presented a challenge for traditional h...
122
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Text classification systems on biomedical literature aim to select relevant articles to a specific issue from large corpora. Most systems with an acceptable accuracy are based o...
114
Voted
UIST
2004
ACM
15 years 9 months ago
2004
ACM
Overview visualizations for small-screen web browsers were designed to provide users with visual context and to allow them to rapidly zoom in on tiles of relevant content. Given t...