2312 search results - page 45 / 463 » Invariance in Property Testing |
JSS
2010
13 years 4 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
STOC
2006
ACM
14 years 10 months ago
2006
ACM
A common thread in all the recent results concerning the testing of dense graphs is the use of Szemer?edi's regularity lemma. In this paper we show that in some sense this is...
ANTS
2006
Springer
14 years 1 months ago
2006
Springer
Let C be a smooth plane cubic curve with Jacobian E. We give a formula for the action of the 3-torsion of E on C, and explain how it is useful in studying the 3-Selmer group of an ...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper deals with the performance evaluation of three object invariant descriptors : Hu moments, Zernike moments and Fourier-Mellin descriptors. Experiments are conducted on a...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...