2996 search results - page 153 / 600 » Numberings and Randomness |
142
Voted
JSAT
2006
15 years 5 months ago
2006
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. This algorithm uses the clauseshorte...
147
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— Considerable attention has been focused on the properties of graphs derived from Internet measurements. Router-level topologies collected via traceroute-like methods have led s...
156
click to vote
VLSID
1993
IEEE
15 years 9 months ago
1993
IEEE
This paper discusses a Genetic Algorithm-based method of generating test vectorsfor detecting faults in combinational circuits. The GA-based approach combines the merits of two te...
195
click to vote
CISS
2011
IEEE
14 years 9 months ago
2011
IEEE
—In compressive sensing (CS), the Restricted Isometry Property (RIP) is a powerful condition on measurement operators which ensures robust recovery of sparse vectors is possible ...
158
click to vote
GECCO
2009
Springer
16 years 2 days ago
2009
Springer
A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to neural networks. This paper presents results fr...