318 search results - page 5 / 64 » Testing Symmetric Properties of Distributions |
ECCC
2006
13 years 7 months ago
2006
We show that in the bounded degree model for graph property testing, adaptivity is essential. An algorithm is non-adaptive if it makes all queries to the input before receiving an...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
PTS
2003
13 years 9 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we consider probability d...
CVPR
2006
IEEE
14 years 1 months ago
2006
IEEE
Many natural and man-made structures have a boundary that shows certain level of bilateral symmetry, a property that has been used to solve many computer-vision tasks. In this pap...