Sciweavers

1898 search results - page 137 / 380
» Weak Keys for IDEA
Sort
View
124
Voted
HYBRID
2009
Springer
15 years 7 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
119
Voted
FSE
2004
Springer
109views Cryptology» more  FSE 2004»
15 years 7 months ago
On the Additive Differential Probability of Exclusive-Or
We study the differential probability adp of exclusive-or when differences are expressed using addition modulo 2N . This function is important when analysing symmetric primitives t...
Helger Lipmaa, Johan Wallén, Philippe Dumas
127
Voted
IDEAS
1997
IEEE
93views Database» more  IDEAS 1997»
15 years 7 months ago
Schema Evolution in Object Databases by Catalogs
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
Anne Pons, Rudolf K. Keller
138
Voted
AGI
2008
15 years 5 months ago
Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
Matthew Iklé, Ben Goertzel
132
Voted
NIPS
2007
15 years 5 months ago
A Randomized Algorithm for Large Scale Support Vector Learning
This paper investigates the application of randomized algorithms for large scale SVM learning. The key contribution of the paper is to show that, by using ideas random projections...
Krishnan Kumar, Chiru Bhattacharyya, Ramesh Hariha...