5138 search results - page 549 / 1028 » Randomized Algorithms for 3-SAT |
153
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriļ...
166
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
- We address the problem of transforming a behavioral speciļ¬cation so that synthesis of a testable implementation from the new specification requires significantly less area and ...
165
click to vote
APPROX
2008
Springer
15 years 9 months ago
2008
Springer
A (q, , )-locally decodable code (LDC) C : {0, 1}n {0, 1}m is an encoding from n-bit strings to m-bit strings such that each bit xk can be recovered with probability at least 1 2 +...
192
click to vote
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
The story of some early computer art drawings in 1965 is told. It is a story of randomness. Computer art is viewed here as the programming of classes of aesthetic objects. In the ...
197
click to vote
COCO
2008
Springer
15 years 8 months ago
2008
Springer
We study the complexity of deciding whether a given homogeneous multivariate polynomial has a nontrivial root over a finite field. Given a homogeneous algebraic circuit C that com...