Sciweavers

7 search results - page 2 / 2
» Simple noise formulas for MOS analog design
Sort
View
SAT
2010
Springer
165views Hardware» more  SAT 2010»
13 years 3 months ago
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
Lukas Kroc, Ashish Sabharwal, Bart Selman
ICIP
2008
IEEE
14 years 7 months ago
Consistent and regularized magnification of images
Because more output data must be created than is available from the input, magnification is an ill-posed problem. Traditional magnification relies on resampling an interpolation mo...
Aurélien Bourquard, Katarina Balac, Michael...