Sciweavers

388 search results - page 51 / 78
» Quantum Lower Bounds by Polynomials
Sort
View
JC
2007
64views more  JC 2007»
13 years 9 months ago
Quadrature in Besov spaces on the Euclidean sphere
Let q ≥ 1 be an integer, Sq denote the unit sphere embedded in the Euclidean space Rq+1, and µq be its Lebesgue surface measure. We establish upper and lower bounds for sup fâˆ...
Kerstin Hesse, H. N. Mhaskar, Ian H. Sloan
STOC
2005
ACM
146views Algorithms» more  STOC 2005»
14 years 10 months ago
Approximation algorithms for combinatorial auctions with complement-free bidders
We exhibit three approximation algorithms for the allocation problem in combinatorial auctions with complement free bidders. The running time of these algorithms is polynomial in ...
Shahar Dobzinski, Noam Nisan, Michael Schapira
LPAR
2007
Springer
14 years 4 months ago
Extending a Resolution Prover for Inequalities on Elementary Functions
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
Behzad Akbarpour, Lawrence C. Paulson
ISAAC
2004
Springer
87views Algorithms» more  ISAAC 2004»
14 years 3 months ago
Random Access to Advice Strings and Collapsing Results
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...
Jin-yi Cai, Osamu Watanabe
ECAI
2008
Springer
13 years 11 months ago
Dynamic Backtracking for Distributed Constraint Optimization
We propose a new algorithm for solving Distributed Constraint Optimization Problems (DCOPs). Our algorithm, called DyBop, is based on branch and bound search with dynamic ordering ...
Redouane Ezzahir, Christian Bessiere, Imade Benela...