2735 search results - page 375 / 547 » Comparing notions of randomness |
125
click to vote
JAIR
2007
15 years 1 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
116
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Identifying protein-protein interactions is fundamental for understanding the molecular machinery of the cell. Proteome-wide studies of protein-protein interactions ar...
115
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Recent technological advances in mass spectrometry pose challenges in computational mathematics and statistics to process the mass spectral data into predictive models...
JEA
1998
15 years 25 days ago
1998
We introduce a new deterministic parallel sorting algorithm based on the regular sampling approach. The algorithm uses only two rounds of regular all-to-all personalized communica...
104
click to vote
CEC
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract— We present a unifying framework for continuous optimization and sampling. This framework is based on Gaussian Adaptation (GaA), a search heuristic developed in the late...