3190 search results - page 207 / 638 » cans 2011 |
216
Voted
ECIR
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Quantum theory (QT) has recently been employed to advance the theory of information retrieval (IR). A typical method, namely the Quantum Probability Ranking Principle (QP...
162
Voted
EDBT
2011
ACM
14 years 9 months ago
2011
ACM
This demonstration paper presents a probabilistic XML data merging tool, that represents the outcome of semi-structured document integration as a probabilistic tree. The system is...
266
Voted
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
283
click to vote
EUROCRYPT
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. In this paper we construct several tools for manipulating pools of biases in the analysis of RC4. Then, we show that optimized strategies can break WEP based on 4000 pack...
179
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...