2312 search results - page 20 / 463 » Invariance in Property Testing |
ECCV
2000
Springer
14 years 11 months ago
2000
Springer
This paper presents a theoretically very simple yet efficient approach for gray scale and rotation invariant texture classification based on local binary patterns and nonparametric...
EXPCS
2007
14 years 1 months ago
2007
In this paper, we present the design of a performance isolation benchmark that quantifies the degree to which a virtualization system limits the impact of a misbehaving virtual ma...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
FMOODS
2003
13 years 11 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
ICFEM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...