Sciweavers

10715 search results - page 1775 / 2143
» Proofs from Tests
Sort
View
196
Voted
DAM
2008
111views more  DAM 2008»
15 years 7 months ago
Sums of squares based approximation algorithms for MAX-SAT
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
Hans van Maaren, Linda van Norden, M. J. H. Heule
ALGORITHMICA
2006
163views more  ALGORITHMICA 2006»
15 years 7 months ago
Building Large Phylogenetic Trees on Coarse-Grained Parallel Machines
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
Thomas M. Keane, Andrew J. Page, Thomas J. Naughto...
EOR
2008
78views more  EOR 2008»
15 years 7 months ago
Discounted MEAN bound for the optimal searcher path problem with non-uniform travel times
We consider an extension of the optimal searcher path problem (OSP), where a searcher moving through a discretised environment may now need to spend a nonuniform amount of time tr...
Haye Lau, Shoudong Huang, Gamini Dissanayake
193
Voted
ESWA
2008
131views more  ESWA 2008»
15 years 7 months ago
Classification of weld flaws with imbalanced class data
This paper presents research results of our investigation of the imbalanced data problem in the classification of different types of weld flaws, a multi-class classification probl...
T. Warren Liao
224
Voted
BMCBI
2006
137views more  BMCBI 2006»
15 years 7 months ago
Improving the accuracy of protein secondary structure prediction using structural alignment
Background: The accuracy of protein secondary structure prediction has steadily improved over the past 30 years. Now many secondary structure prediction methods routinely achieve ...
Scott Montgomerie, Shan Sundararaj, Warren J. Gall...
« Prev « First page 1775 / 2143 Last » Next »