1620 search results - page 122 / 324 » Testing Polymorphic Properties |
134
Voted
RSA
2006
15 years 5 months 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 ...
159
Voted
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
We measure the WT10g test collection, used in the TREC-9 and TREC 2001 Web Tracks, and the .GOV test collection used in the TREC 2002 Web and Interactive Tracks, with common measu...
161
click to vote
SMC
2010
IEEE
15 years 3 months ago
2010
IEEE
—This study examines the ability of nonnegative matrix factorization (NMF) as a method for constructing semantic spaces, in which the meaning of each word is represented by a hig...
123
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
199
click to vote
TON
2010
14 years 11 months ago
2010
TCP throughput prediction is an important capability in wide area overlay and multi-homed networks where multiple paths may exist between data sources and receivers. In this paper...