184 search results - page 30 / 37 » Towards Statistical Control of an Industrial Test Process |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
BIODATAMINING
2008
13 years 7 months ago
2008
Background: Analysis of a microarray experiment often results in a list of hundreds of diseaseassociated genes. In order to suggest common biological processes and functions for t...
ANLP
1997
13 years 8 months ago
1997
In this paper we report on our natural language information retrieval (NLIR) project as related to the recently concluded 5th Text Retrieval Conference (TREC-5). The main thrust o...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The diversity gain of a multiple-input multiple-output (MIMO) system adopting the Neyman-Pearson (NP) criterion is derived for a signal-present versus signal-absent scalar hypothe...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...