1620 search results - page 101 / 324 » Testing Polymorphic Properties |
157
click to vote
DTJ
1998
15 years 4 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
162
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Recently we have witnessed a surge of interest in using genome-wide association studies (GWAS) to discover the genetic basis of complex diseases. Many genetic variatio...
145
Voted
IJFCS
2008
15 years 5 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
142
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The mismatch between training and test environmental conditions presents a challenge to speech recognition systems. In this paper, we investigate an approach for matching the dist...
148
click to vote
PAMI
2006
15 years 4 months ago
2006
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...