2312 search results - page 35 / 463 » Invariance in Property Testing |
ICIP
2009
IEEE
13 years 7 months ago
2009
IEEE
We present a new method of magnification for textured images featuring scale invariance properties. The procedure preserves the visual aspect as well as the statistical properties...
PTS
2010
13 years 8 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
In this paper, a new method of feature extraction with rotation invariant property is presented. One of the main contributions of this study is that a rotation invariant signature...