1722 search results - page 161 / 345 » Generating Tests from Counterexamples |
108
Voted
PADS
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
A method for color indexing is proposed that is based upon nonparametric statistical techniques. Nonparametrics compare the ordinal rankings of sample populations, and maintain the...
103
Voted
TREC
2001
15 years 2 months ago
2001
This paper describes new machine learning approaches to predict the correct homepage in response to a user's homepage finding query. This involves two phases. In the first ph...
129
click to vote
ATS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
110
Voted
DCC
2006
IEEE
16 years 8 days ago
2006
IEEE
A covering array CA(N; t, k, v) is an N ? k array such that every N ? t sub-array contains all t-tuples from v symbols at least once, where t is the strength of the array. Coverin...