Sciweavers

1596 search results - page 68 / 320
» Quantum property testing
Sort
View
APPROX
2010
Springer
135views Algorithms» more  APPROX 2010»
15 years 29 days 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...
108
Voted
SIAMCO
2008
98views more  SIAMCO 2008»
15 years 20 days 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
101
Voted
FMICS
2006
Springer
15 years 4 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...
131
Voted
WOB
2008
128views Bioinformatics» more  WOB 2008»
15 years 2 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
14 years 22 days 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...