1638 search results - page 215 / 328 » Properties of input-consuming derivations |
168
click to vote
COLT
2005
Springer
16 years 13 hour ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...
149
click to vote
SAFECOMP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
157
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
175
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
142
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...