342 search results - page 31 / 69 » Compositional Testing with ioco |
ECRTS
2007
IEEE
14 years 3 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
ALMOB
2008
13 years 8 months ago
2008
The increasing throughput of sequencing raises growing needs for methods of sequence analysis and comparison on a genomic scale, notably, in connection with phylogenetic tree reco...
STOC
2009
ACM
14 years 9 months ago
2009
ACM
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradig...
ADMA
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents our preliminary explorative data mining experiments on stock data. The experiments are performed using information gain evaluation, chi-square test and decision...
WSC
2008
13 years 11 months ago
2008
We consider the ranking and selection of normal means in a fully sequential Bayesian context. By considering the sampling and stopping problems jointly rather than separately, we ...