430 search results - page 56 / 86 » Statistical Certification of Software Systems |
COMPUTER
2004
14 years 9 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
TASLP
2010
14 years 4 months ago
2010
The knowledge of the target speech presence probability in a mixture of signals captured by a speech communication system is of paramount importance in several applications includi...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
BMCBI
2006
14 years 9 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...