Sciweavers

1596 search results - page 68 / 320
» Quantum property testing
Sort
View
APPROX
2010
Springer
135views Algorithms» more  APPROX 2010»
13 years 10 months ago
Monotonicity Testing and Shortest-Path Routing on the Cube
We study the problem of monotonicity testing over the hypercube. As previously observed in several works, a positive answer to a natural question about routing properties of the hy...
Jop Briët, Sourav Chakraborty, David Garc&iac...
SIAMCO
2008
98views more  SIAMCO 2008»
13 years 10 months ago
Kernel Density Estimation and Goodness-of-Fit Test in Adaptive Tracking
We investigate the asymptotic properties of a recursive kernel density estimator associated with the driven noise of a linear regression in adaptive tracking. We provide an almost ...
Bernard Bercu, Bruno Portier
FMICS
2006
Springer
14 years 1 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
WOB
2008
128views Bioinformatics» more  WOB 2008»
13 years 11 months ago
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
Ximing Xu, David Sankoff
CCS
2011
ACM
12 years 10 months ago
Trace equivalence decision: negative tests and non-determinism
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...