Sciweavers

777 search results - page 43 / 156
» presence 2010
Sort
View
STACS
2010
Springer
16 years 1 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson
ECCV
2010
Springer
15 years 11 months ago
One-Shot Optimal Exposure Control
We introduce an algorithm to estimate the optimal exposure parameters from the analysis of a single, possibly under- or over-exposed, image. This algorithm relies on a new quantita...
ICDE
2010
IEEE
233views Database» more  ICDE 2010»
15 years 11 months ago
Polynomial heuristics for query optimization
— Research on query optimization has traditionally focused on exhaustive enumeration of an exponential number of candidate plans. Alternatively, heuristics for query optimization...
Nicolas Bruno, César A. Galindo-Legaria, Mi...
DATE
2010
IEEE
119views Hardware» more  DATE 2010»
15 years 11 months ago
Optimized self-tuning for circuit aging
We present a framework and control policies for optimizing dynamic control of various self-tuning parameters over lifetime in the presence of circuit aging. Our framework introduc...
Evelyn Mintarno, Joelle Skaf, Rui Zheng, Jyothi Ve...
ECCV
2010
Springer
15 years 11 months ago
Bilinear factorization via Augmented Lagrange Multipliers
This paper presents a unified approach to solve different bilinear factorization problems in Computer Vision in the presence of missing data in the measurements. The problem is f...