893 search results - page 164 / 179 » Analysis of new variable selection methods for discriminant ... |
99
Voted
CAV
2009
Springer
16 years 28 days ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
111
Voted
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
100
Voted
FGR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we focus on the reliable detection of facial fiducial points, such as eye, eyebrow and mouth corners. The proposed algorithm aims to improve automatic landmarking ...
104
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...