16598 search results - page 3256 / 3320 » Early performance evaluation of a |
185
Voted
JAIR
2007
15 years 6 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ï¬...
180
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: Improvements in technology have been accompanied by the generation of large amounts of complex data. This same technology must be harnessed effectively if the knowledg...
176
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: Pairwise stochastic context-free grammars (Pair SCFGs) are powerful tools for evolutionary analysis of RNA, including simultaneous RNA sequence alignment and secondary...
160
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...
175
click to vote
TITB
2008
15 years 6 months ago
2008
Nonlinear classifiers, e.g., support vector machines (SVMs) with radial basis function (RBF) kernels, have been used widely for automatic diagnosis of diseases because of their hig...