Sciweavers

2312 search results - page 28 / 463
» Invariance in Property Testing
Sort
View
MOC
2002
92views more  MOC 2002»
13 years 9 months ago
Asymptotic properties of the spectral test, diaphony, and related quantities
This paper presents the limit laws of discrepancies defined via exponential sums, and algorithms (with error bounds) to approximate the corresponding distribution functions. The re...
Hannes Leeb
IEEEIAS
2007
IEEE
14 years 4 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
STOC
2009
ACM
152views Algorithms» more  STOC 2009»
14 years 4 months ago
Green's conjecture and testing linear-invariant properties
A system of linear equations in p unknowns Mx = b is said to have the removal property if every set S ⊆ {1, . . . , n} which contains o(np− ) solutions of Mx = b can be turned...
Asaf Shapira
CORR
2010
Springer
160views Education» more  CORR 2010»
13 years 10 months ago
New Results on Quantum Property Testing
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...
Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...
CISST
2003
171views Hardware» more  CISST 2003»
13 years 11 months ago
Image Registration and Conflation Based on Structural Characteristics
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
Boris Kovalerchuk, William Sumner, James L. Schwin...