6047 search results - page 858 / 1210 » Modeling with Extend |
207
Voted
CISC
2006
Springer
15 years 10 months ago
2006
Springer
Intrusion-resilient signatures are key-evolving protocols that extend the concepts of forward-secure and key-insulated signatures. As in the latter schemes, time is divided into di...
161
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of computing the intersection of private datasets of two parties, where the datasets contain lists of elements taken from a large domain. This problem has m...
169
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Learning a good ranking function plays a key role for many applications including the task of (multimedia) information retrieval. While there are a few rank learning methods availa...
162
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
163
click to vote
CSCLP
2006
Springer
15 years 9 months ago
2006
Springer
Real-life problems present several kinds of preferences. We focus on problems with both positive and negative preferences, that we call bipolar preference problems. Although seemin...