1103 search results - page 79 / 221 » Evaluating CBR Systems Using Different Data Sources: A Case ... |
RSP
2005
IEEE
14 years 1 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
FOCS
2002
IEEE
14 years 29 days ago
2002
IEEE
Randomization is vital in cryptography: secret keys should be randomly generated and most cryptographic primitives (e.g., encryption) must be probabilistic. As a bstraction, it is...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Many modern systems exploit data redundancy to improve efficiency. These systems split data into chunks, generate identifiers for each of them, and compare the identifiers among ot...
IMC
2006
ACM
14 years 2 months ago
2006
ACM
Peer-to-peer (P2P) networks continue to be popular means of trading content. However, very little protection is in place to make sure that the files exchanged in these networks a...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...