2036 search results - page 361 / 408 » A generic type-and-effect system |
98
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
We present a question answering (QA) system which learns how to detect and rank answer passages by analyzing questions and their answers (QA pairs) provided as training data. We b...
105
Voted
SC
2009
ACM
15 years 7 months ago
2009
ACM
The availability of large quantities of processors is a crucial enabler of many-task computing. Voluntary computing systems have proven that it is possible to build computing plat...
124
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
115
Voted
CRYPTO
2009
Springer
15 years 7 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
83
Voted
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
SMS-based web search is different from traditional web search in that the final response to a search query is limited to a very small number of bytes (typically 1-2 SMS messages...