498 search results - page 76 / 100 » Experimental comparison of the two Fredman-Khachiyan-algorit... |
127
click to vote
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
Familiar evaluation methodologies for information retrieval (IR) are not well suited to the task of comparing systems in many real settings. These systems and evaluation methods m...
132
click to vote
JSAT
2006
15 years 1 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
131
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The evaluation of statistical significance has become a critical process in identifying differentially expressed genes in microarray studies. Classical p-value adjustm...
133
click to vote
TASLP
2011
14 years 8 months ago
2011
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...
131
click to vote
TVLSI
2008
15 years 1 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...