2996 search results - page 152 / 600 » Numberings and Randomness |
152
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
By conducting simulations, we show that the structure of the personal networks significantly influences the diffusion processes in network effect markets like the software market....
144
click to vote
AAAI
1997
15 years 6 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
127
click to vote
RSA
2006
15 years 5 months ago
2006
: On input a random 3-CNF formula of clauses-to-variables ratio r3 applies repeatedly the following simple heuristic: Set to True a literal that appears in the maximum number of cl...
183
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Active learning is a generic approach to accelerate training of classifiers in order to achieve a higher accuracy with a small number of training examples. In the past, simple ac...
140
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. Its running time is at most 2n(1−1...