3228 search results - page 448 / 646 » Computationally Sound Proofs |
128
click to vote
EKAW
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
110
click to vote
EUROCRYPT
1998
Springer
15 years 7 months ago
1998
Springer
Remotely keyed encryption schemes (RKESs), introduced by Blaze 6], support high-bandwidth cryptographic applications (such as encrypted video conferences) in which long-lived secre...
125
Voted
QCQC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We consider the communication complexity of the binary inner product function in a variation of the two-party scenario where the parties have an a priori supply of partic...
116
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...
172
Voted
COCO
1997
Springer
15 years 7 months ago
1997
Springer
We study families of Boolean circuits with the property that the number of gates at distance t fanning into or out of any given gate in a circuit is bounded above by a polynomial ...