Sciweavers

2944 search results - page 411 / 589
» Improving Bound Propagation
Sort
View
TOCL
2008
102views more  TOCL 2008»
15 years 6 months ago
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
Helmut Seidl, Kumar Neeraj Verma
TWC
2008
139views more  TWC 2008»
15 years 6 months ago
Statistical Multimode Transmit Antenna Selection for Limited Feedback MIMO Systems
In a wireless multiple-input multiple-output (MIMO) system, transmit antenna selection is an effective means of achieving good performance with low complexity. We consider spatial ...
Chang Soon Park, Kwang Bok Lee
COMBINATORICA
2004
48views more  COMBINATORICA 2004»
15 years 6 months ago
Linear Discrepancy of Totally Unimodular Matrices
Let p [1, [ and cp = maxa[0,1]((1 - a)ap + a(1 - a)p)1/p. We prove that the known upper bound lindiscp(A) cp for the Lp linear discrepancy of a totally unimodular matrix A is as...
Benjamin Doerr
COMBINATORICA
2004
79views more  COMBINATORICA 2004»
15 years 6 months ago
The Deletion Method For Upper Tail Estimates
We present a new method to show concentration of the upper tail of random variables that can be written as sums of variables with plenty of independence. We compare our method with...
Svante Janson, Andrzej Rucinski
ALGORITHMICA
2000
85views more  ALGORITHMICA 2000»
15 years 6 months ago
An Algorithm for Enumerating All Spanning Trees of a Directed Graph
We present an O(NV +V 3) time algorithm for enumerating all spanning trees of a directed graph. This improves the previous best known bound of O(NE + V + E) [1] when V 2 = o(N), wh...
Sanjiv Kapoor, H. Ramesh