167 search results - page 33 / 34 » Adaptive Searching in One and Two Dimensions |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Within the present paper, we put forward a novel hybridization between support vector machines and evolutionary algorithms. Evolutionary support vector machines consider the cl...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— For the single-group multicast scenario, where K users are served with the same data by a base station equipped with N antennas, we present two beamforming algorithms which out...
BMCBI
2010
13 years 10 months ago
2010
Background: In many microarray experiments, analysis is severely hindered by a major difficulty: the small number of samples for which expression data has been measured. When one ...
BMCBI
2006
13 years 9 months ago
2006
Background: Until today, analysis of 16S ribosomal RNA (rRNA) sequences has been the de-facto gold standard for the assessment of phylogenetic relationships among prokaryotes. How...