Sciweavers

3384 search results - page 161 / 677
» More Testable Properties
Sort
View
EUROPKI
2008
Springer
13 years 10 months ago
Efficient Generic Forward-Secure Signatures and Proxy Signatures
We propose a generic method to construct forward-secure signature schemes from standard signature schemes. The proposed construction is more computationally efficient than previous...
Basel Alomair, Krishna Sampigethaya, Radha Poovend...
ACL
2007
13 years 10 months ago
Measuring Importance and Query Relevance in Topic-focused Multi-document Summarization
The increasing complexity of summarization systems makes it difficult to analyze exactly which modules make a difference in performance. We carried out a principled comparison be...
Surabhi Gupta, Ani Nenkova, Daniel Jurafsky
BCS
2008
13 years 10 months ago
Implications of Electronics Technology Trends to Algorithm Design
Scaling of electronics technology has brought us to a pivotal point in the design of computational devices. Technology scaling favours transistors over wires which has led us into...
Daniel Greenfield, Simon W. Moore
EHCI
2001
13 years 10 months ago
Consistency in Augmented Reality Systems
Systems combining the real and the virtual are becoming more and more prevalent. The Augmented Reality (AR) paradigm illustrates this trend. In comparison with traditional interact...
Emmanuel Dubois, Laurence Nigay, Jocelyne Troccaz
ACL
1992
13 years 10 months ago
Conversational Implicatures in Indirect Replies
I In this paper we present algorithms for the interpretation and generation of a kind of particularized conversational implicature occurring in certain indirect replies. Our algori...
Nancy Green, Sandra Carberry