5138 search results - page 143 / 1028 » Randomized Algorithms for 3-SAT |
123
click to vote
ICCD
2001
IEEE
15 years 11 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
123
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Until now, structured and unstructured networks have been considered in absentia of each other. We believe that next-generation P2P services will require both structured and unstr...
119
click to vote
DAGM
2004
Springer
15 years 7 months ago
2004
Springer
We consider the general problem of learning from labeled and unlabeled data. Given a set of points, some of them are labeled, and the remaining points are unlabeled. The goal is to...
COLT
2003
Springer
15 years 7 months ago
2003
Springer
A mere bounded number of random bits judiciously employed by a probabilistically correct algorithmic coordinator is shown to increase the power of learning to coordinate compared ...
147
click to vote
WEA
2010
Springer
15 years 7 months ago
2010
Springer
We investigate how the recently developed different approaches to generate randomized roundings satisfying disjoint cardinality constraints behave when used in two classical algori...