4757 search results - page 92 / 952 » A Unique |
254
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Emerging applications in sensor systems and network-wide IP traffic analysis present many technical challenges. They need distributed monitoring and continuous tracking of events....
158
click to vote
STOC
2009
ACM
16 years 4 months ago
2009
ACM
We prove strong lower bounds on integrality gaps of Sherali?Adams relaxations for MAX CUT, Vertex Cover, Sparsest Cut and other problems. Our constructions show gaps for Sherali?A...
118
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
It is shown that in some cases it is possible to reconstruct a block design D uniquely from incomplete knowledge of a minimal defining set for D. This surprising result has implic...
106
click to vote
DCC
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper, we study binary optimal odd formally self-dual codes. All optimal odd formally self-dual codes are classified for length up to 16. The highest minimum weight of any ...