677 search results - page 110 / 136 » Dependent Types from Counterexamples |
ACL
1992
14 years 11 months ago
1992
We have recently reported on two new word-sense disambiguation systems, one trained on bilingual material (the Canadian Hansards) and the other trained on monolingual material (Ro...
107
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
In this paper, we study methods for improving the utility and privacy of reputation scores for online auctions, such as used in eBay, so as to reduce the effectiveness of feedbac...
MVA
2002
14 years 9 months ago
2002
In this paper, we present an approach to incorporating partial geometric information into a local feature-based The distance-supported shape index is proposed for the representatio...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Queries on major Web search engines produce complex result pages, primarily composed of two types of information: organic results, that is, short descriptions and links to relevan...
62
Voted
IMC
2009
ACM
15 years 4 months ago
2009
ACM
Internet exchange points (IXPs) are an important ingredient of the Internet AS-level ecosystem—a logical fabric of the Internet made up of about 30,000 ASes and their mutual bus...