1419 search results - page 108 / 284 » Notes on Formalizing Context |
80
Voted
TREC
2001
15 years 2 months ago
2001
Our focus this year was to investigate methods for increasing query length in interactive information searching in the Web context, and to see if these methods led to changes in t...
103
Voted
SODA
2003
ACM
15 years 2 months ago
2003
ACM
We consider the problem of revenue maximization in online auctions, that is, auctions in which bids are received and dealt with one-by-one. In this note, we demonstrate that resul...
78
Voted
JOLLI
2008
15 years 22 days ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
101
click to vote
RSA
2006
15 years 20 days ago
2006
We continue the investigation of locally testable codes, i.e., error-correcting codes for whom membership of a given word in the code can be tested probabilistically by examining ...
117
Voted
CLUSTER
2004
IEEE
15 years 18 days ago
2004
IEEE
Group communications (multicast) are foreseen to be one of the most critical yet challenging technologies to meet the exponentially growing demands for data distribution in a large...