Sciweavers

5634 search results - page 887 / 1127
» About Abstract Classes
Sort
View
ASIACRYPT
2000
Springer
15 years 11 months ago
Improved Methods to Perform Threshold RSA
Abstract. A t out of n threshold scheme is such that shares are distributed to n participants so that any set of t participants can compute the secret, whereas any set of less than...
Brian King
ASIACRYPT
2000
Springer
15 years 11 months ago
Password-Authenticated Key Exchange Based on RSA
Abstract. There have been many proposals in recent years for passwordauthenticated key exchange protocols. Many of these have been shown to be insecure, and the only ones that seem...
Philip D. MacKenzie, Sarvar Patel, Ram Swaminathan
ATAL
2000
Springer
15 years 11 months ago
Plan Analysis for Autonomous Sociological Agents
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...
Michael Luck, Mark d'Inverno
154
Voted
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 11 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ECAI
2000
Springer
15 years 11 months ago
Naive Bayes and Exemplar-based Approaches to Word Sense Disambiguation Revisited
Abstract. This paper describes an experimental comparison between two standard supervised learning methods, namely Naive Bayes and Exemplar–basedclassification, on the Word Sens...
Gerard Escudero, Lluís Màrquez, Germ...