5159 search results - page 630 / 1032 » Structural Testing of Executables |
215
Voted
ICIP
1999
IEEE
16 years 9 months ago
1999
IEEE
Robust, fast object detection systems are critical to the success of next-generation automotive vision systems. An important criteria is that the detection system be easily config...
227
Voted
IPMI
2009
Springer
16 years 8 months ago
2009
Springer
This paper presents a method for detection of cerebral white matter hyperintensities (WMH) based on run-time PD-, T1-, and T2weighted structural magnetic resonance (MR) images of t...
221
Voted
KDD
2003
ACM
16 years 8 months ago
2003
ACM
Classification trees are widely used in the machine learning and data mining communities for modeling propositional data. Recent work has extended this basic paradigm to probabili...
193
Voted
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
In this paper, we present CONTRAlign, an extensible and fully automatic framework for parameter learning and protein pairwise sequence alignment using pair conditional random field...
213
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...