2312 search results - page 87 / 463 » Invariance in Property Testing |
FGR
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper, we introduce the concept of SelfQuotient Image (SQI) for robust face recognition under varying lighting conditions. It is based on the Quotient Image method [4][5] ...
ENDM
2010
13 years 10 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
TCS
2008
13 years 10 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
—A new type of global stability is introduced and its equivalent Lyapunov characterization is presented. The problem of global stability of the compact set composed by all invari...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper, a robust blind watermarking method for 3D volumes is presented. A bivalued watermark is embedded in the Fourier transform magnitude of the 3D volume. The Fourier do...