Sciweavers

1678 search results - page 102 / 336
» Modeling Information Retrieval with Probabilistic Argumentat...
Sort
View
CSFW
2006
IEEE
15 years 11 months ago
Computationally Sound Compositional Logic for Key Exchange Protocols
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan...
CLEF
2006
Springer
15 years 9 months ago
The University of New South Wales at GeoCLEF 2006
This paper describes our participation in the GeoCLEF monolingual English task of the Cross Language Evaluation Forum 2006. The main objective of this study is to evaluate the retr...
You-Heng Hu, Linlin Ge
ICITS
2009
15 years 3 months ago
Survey: Leakage Resilience and the Bounded Retrieval Model
Abstract. This survey paper studies recent advances in the field of LeakageResilient Cryptography. This booming area is concerned with the design of cryptographic primitives resist...
Joël Alwen, Yevgeniy Dodis, Daniel Wichs
WSC
2007
15 years 8 months ago
Modeling and simulation of retrieving process
This paper presents a model of Parts Distribution Center (PDC), developed in Arena® 5.0, which aims at providing information about the total time of the retrieving process as the...
Shih Y. Chin, José H. C. G. Júnior
SIGIR
2010
ACM
15 years 9 months ago
Proximity-based opinion retrieval
Blog post opinion retrieval aims at finding blog posts that are relevant and opinionated about a user’s query. In this paper we propose a simple probabilistic model for assigni...
Shima Gerani, Mark James Carman, Fabio Crestani