4403 search results - page 690 / 881 » Galois Theory of Algorithms |
190
click to vote
SIGIR
2004
ACM
16 years 18 days ago
2004
ACM
Contextual retrieval is a critical technique for facilitating many important applications such as mobile search, personalized search, PC troubleshooting, etc. Despite of its impor...
167
click to vote
ASIACRYPT
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between...
187
click to vote
ATAL
2004
Springer
16 years 18 days ago
2004
Springer
Auctions are useful mechanisms for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders know their own valua...
198
click to vote
ATAL
2004
Springer
16 years 18 days ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
167
click to vote
CAV
2004
Springer
16 years 18 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...