1596 search results - page 51 / 320 » Quantum property testing |
IJCV
2006
13 years 10 months ago
2006
Gesture and speech are co-expressive and complementary channels of a single human language system. While speech carries the major load of symbolic presentation, gesture provides th...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, the Gaussianity and linearity of the snoring sound (SS) segments extracted from respiratory sounds are discussed. The respiratory sound signals were recorded from 3...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
CC
2008
Springer
13 years 12 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...