Sciweavers

703 search results - page 48 / 141
» Fundamentals of Session Types
Sort
View
CVPR
2009
IEEE
15 years 7 months ago
Recognizing human group activities with localized causalities
The aim of this paper is to address the problem of recognizing human group activities in surveillance videos. This task has great potentials in practice, however was rarely studie...
Ashraf A. Kassim, Bingbing Ni, Shuicheng Yan
SIGIR
2006
ACM
15 years 3 months ago
Action modeling: language models that predict query behavior
We present a novel language modeling approach to capturing the query reformulation behavior of Web search users. Based on a framework that categorizes eight different types of “...
G. Craig Murray, Jimmy J. Lin, Abdur Chowdhury
EUROCRYPT
2001
Springer
15 years 2 months ago
Evidence that XTR Is More Secure than Supersingular Elliptic Curve Cryptosystems
Abstract. We show that finding an efficiently computable injective homomorphism from the XTR subgroup into the group of points over GF(p2 ) of a particular type of supersingular e...
Eric R. Verheul
CONCUR
2010
Springer
14 years 11 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
ICNP
2006
IEEE
15 years 3 months ago
DPTree: A Balanced Tree Based Indexing Framework for Peer-to-Peer Systems
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
Mei Li, Wang-Chien Lee, Anand Sivasubramaniam