1368 search results - page 198 / 274 » Personality-Based Practical Reasoning |
113
click to vote
EUROCRYPT
1999
Springer
15 years 7 months ago
1999
Springer
In one proposed use of digital watermarks, the owner of a document D sells slightly different documents, D1 , D2 , . . . to each buyer; if a buyer posts his/her document Di to the...
117
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
137
click to vote
AMET
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
145
click to vote
CCS
1998
ACM
15 years 7 months ago
1998
ACM
This paper describes a new public-key cryptosystem based on the hardness of computing higher residues modulo a composite RSA integer. We introduce two versions of our scheme, one d...
133
click to vote
POPL
1998
ACM
15 years 7 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...