3082 search results - page 435 / 617 » Deviation Analysis: A New Use of Model Checking |
201
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...
181
click to vote
IEEEPACT
2006
IEEE
16 years 12 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
163
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
281
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
DNA Microarray provides a powerful basis for analysis of gene expression. Data mining methods such as clustering have been widely applied to microarray data to link genes that sho...
204
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...