1253 search results - page 106 / 251 » order 2000 |
AIMSA
2000
Springer
15 years 5 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
99
Voted
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
97
Voted
AMEC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents the results and analysis of the Fishmarket tournament held this spring at the Technical University of Catalonia (UPC) by a group of undergraduate stud...
100
click to vote
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Naor and Pinkas introduced metering schemes at Eurocrypt ’98 in order to decide on advertisement fees for web servers. In the schemes, any server should be able to cons...
115
click to vote
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Assuming a cryptographically strong cyclic group G of prime order q and a random hash function H, we show that ElGamal encryption with an added Schnorr signature is secure against ...