5138 search results - page 108 / 1028 » Randomized Algorithms for 3-SAT |
99
Voted
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
Randomness extractors are efficient algorithms which convert weak random sources into nearly perfect ones. While such purification of randomness was the original motivation for c...
100
Voted
FPL
2005
Springer
15 years 7 months ago
2005
Springer
An architecture and implementation of a high performance Gaussian random number generator (GRNG) is described. The GRNG uses the Ziggurat algorithm which divides the area under th...
120
click to vote
CPC
2007
15 years 1 months ago
2007
We show that a random 4-regular graph asymptotically almost surely (a.a.s.) has chromatic number 3. The proof uses an efficient algorithm which a.a.s. 3colours a random 4-regular ...
175
click to vote
MICCAI
2005
Springer
16 years 2 months ago
2005
Springer
A new approach to interactive segmentation based on random walks was recently introduced that shows promise for allowing physicians more flexibility to segment arbitrary objects in...
102
Voted
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....