3031 search results - page 367 / 607 » Model Driven Testing Based on Test History |
163
click to vote
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
130
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: In many laboratory-based high throughput microarray experiments, there are very few replicates of gene expression levels. Thus, estimates of gene variances are inaccur...
142
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
Learning visual models of object categories notoriously requires thousands of training examples; this is due to the diversity and richness of object appearance which requires mode...
115
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
145
click to vote
FLAIRS
2004
15 years 5 months ago
2004
In our prior work, we introduced a generalization of the multiple-instance learning (MIL) model in which a bag's label is not based on a single instance's proximity to a...