3799 search results - page 398 / 760 » An Engineering Approach to Formal Methods |
221
click to vote
TASLP
2011
15 years 1 months ago
2011
—In this paper, we investigate the source–filter-based approach for single-channel speech separation. We incorporate source-driven aspects by multi-pitch estimation in the mod...
190
click to vote
TCBB
2011
15 years 1 months ago
2011
Abstract—Though biomedical research often draws on knowledge from a wide variety of fields, few visualization methods for biomedical data incorporate meaningful cross-database e...
181
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Coronary Heart Disease can be diagnosed by assessing the regional motion of the heart walls in ultrasound images of the left ventricle. Even for experts, ultrasound images are dif...
207
Voted
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
168
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Web searches tend to be short and ambiguous. It is therefore not surprising that Web query disambiguation is an actively researched topic. To provide a personalized experience for ...