8699 search results - page 1375 / 1740 » Elements of the Theory of Computation |
211
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
192
Voted
SIGECOM
2005
ACM
16 years 12 days ago
2005
ACM
We study first-price auction mechanisms for auctioning flow between given nodes in a graph. A first-price auction is any auction in which links on winning paths are paid their ...
166
click to vote
WPES
2005
ACM
16 years 12 days ago
2005
ACM
This paper examines a generalization of a two-stage game common on eBay: an ascending-price auction followed by price discrimination (the second chance offer). High bids in the a...
221
click to vote
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
152
click to vote
EUROCRYPT
2005
Springer
16 years 11 days ago
2005
Springer
It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding ...