5964 search results - page 878 / 1193 » A theory of speculative computation |
192
click to vote
DOCENG
2006
ACM
16 years 24 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
184
click to vote
SIGIR
2006
ACM
16 years 23 days ago
2006
ACM
Since the website is one of the most important organizational structures of the Web, how to effectively rank websites has been essential to many Web applications, such as Web sear...
210
click to vote
KBSE
2005
IEEE
16 years 12 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...
191
Voted
SIGECOM
2005
ACM
16 years 11 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 11 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...