Sciweavers

350 search results - page 4 / 70
» Lower and upper bounds on obtaining history independence
Sort
View
EUROCRYPT
2001
Springer
13 years 11 months ago
New Method for Upper Bounding the Maximum Average Linear Hull Probability for SPNs
Abstract. We present a new algorithm for upper bounding the maximum average linear hull probability for SPNs, a value required to determine provable security against linear cryptan...
Liam Keliher, Henk Meijer, Stafford E. Tavares
MFCS
2004
Springer
14 years 14 days ago
Online Algorithms for Disk Graphs
We study the on-line versions of two fundamental graph problems, maximum independent set and minimum coloring, for the case of disk graphs which are graphs resulting from intersect...
Ioannis Caragiannis, Aleksei V. Fishkin, Christos ...
CORR
2011
Springer
165views Education» more  CORR 2011»
12 years 11 months ago
Tight Upper Bounds for Streett and Parity Complementation
Complementation of finite automata on infinite words is not only a fundamental problem in automata theory, but also serves as a cornerstone for solving numerous decision problem...
Yang Cai, Ting Zhang
ECCC
2002
103views more  ECCC 2002»
13 years 7 months ago
Monotone complexity and the rank of matrices
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...
Pavel Pudlák
MOC
2000
69views more  MOC 2000»
13 years 6 months ago
Lower bounds for nonoverlapping domain decomposition preconditioners in two dimensions
Lower bounds for the condition numbers of the preconditioned systems are obtained for the Bramble-Pasciak-Schatz substructuring preconditioner and the Neumann-Neumann preconditione...
Susanne C. Brenner, Li-Yeng Sung