342 search results - page 31 / 69 » Compositional Testing with ioco |
111
click to vote
ECRTS
2007
IEEE
15 years 6 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
14 years 12 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
16 years 13 days 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
15 years 6 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
15 years 2 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 ...