5138 search results - page 204 / 1028 » Randomized Algorithms for 3-SAT |
158
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove various results on effective numberings and Friedberg numberings of families related to algorithmic randomness. The family of all Martin-L¨of random left-compu...
180
click to vote
AINA
2007
IEEE
16 years 24 days ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...
164
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...
207
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
LDA is a popular subspace based face recognition approach. However, it often suffers from the small sample size problem. When dealing with the high dimensional face data, the LDA ...
161
click to vote
ISQED
2007
IEEE
16 years 22 days ago
2007
IEEE
Design verification has become a bottleneck of modern designs. Recently, simulation-based random verification has attracted a lot of interests due to its effectiveness in uncoveri...