5138 search results - page 440 / 1028 » Randomized Algorithms for 3-SAT |
151
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
CT The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a...
180
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a real-time single-camera surveillance system, aiming at detecting and partly analyzing a group of people. A set of moving persons is segmented using a combina...
176
click to vote
EMO
2005
Springer
16 years 11 days ago
2005
Springer
Nearly all Multi-Objective Evolutionary Algorithms (MOEA) rely on random generation of initial population. In large and complex search spaces, this random method often leads to an ...
171
click to vote
ISSAC
2005
Springer
16 years 10 days ago
2005
Springer
We present algorithms that compute the linear and quadratic factors of supersparse (lacunary) bivariate polynomials over the rational numbers in polynomial-time in the input size....
131
click to vote
WEA
2005
Springer
16 years 9 days ago
2005
Springer
We point out that for two sets of measurements, the sign of the difference of their averages is not necessarily maintained by a non-linear monotone transformation of the individu...