2095 search results - page 28 / 419 » Improved pebbling bounds |
FOCS
2010
IEEE
13 years 7 months ago
2010
IEEE
ECRTS
2009
IEEE
13 years 7 months ago
2009
IEEE
STACS
2009
Springer
14 years 4 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
ERSHOV
2003
Springer
14 years 3 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
JSC
2010
13 years 8 months ago
2010
We propose a general framework for obtaining bounds on absolute positiveness of multivariate polynomials. We show that a known bound by Hong is a nearly optimal bound within this ...