982 search results - page 174 / 197 » Reduction Relations for Agent Models |
101
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
For the last two decades the notion and implementations of proxy signatures have been used to allow transfer of digital signing power within some context (in order to enable flexi...
142
Voted
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
114
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Exemplar-based techniques, such as k-nearest neighbors (kNNs) and Sparse Representations (SRs), can be used to model a test sample from a few training points in a dictionary set. ...
116
click to vote
AI
2007
Springer
15 years 24 days ago
2007
Springer
In this paper, we model multi-agent events in terms of a temporally varying sequence of sub-events, and propose a novel approach for learning, detecting and representing events in...
116
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...