Sciweavers

50 search results - page 3 / 10
» Constructive Notions of Maximality for Ideals
Sort
View
ICITS
2009
14 years 7 months ago
Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
Peter Gazi, Ueli Maurer
75
Voted
ECAL
1999
Springer
15 years 1 months ago
Modeling Categorization Dynamics through Conversation by Constructive Approach
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
Takashi Hashimoto
AI
2007
Springer
14 years 9 months ago
On principle-based evaluation of extension-based argumentation semantics
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
Pietro Baroni, Massimiliano Giacomin
75
Voted
IEICET
2008
119views more  IEICET 2008»
14 years 9 months ago
Universally Composable Identity-Based Encryption
Abstract-- The identity-based encryption (IBE) is one of the most important primitives in cryptography, and various security notions of IBE (e.g., IND-ID-CCA2, NM-ID-CCA2, IND-sID-...
Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto
LICS
2008
IEEE
15 years 3 months ago
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
Andrzej S. Murawski