2312 search results - page 128 / 463 » Invariance in Property Testing |
147
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
143
click to vote
DAGSTUHL
1994
15 years 5 months ago
1994
In this article, we present how it is possible to recover physical parameters of objects such as reflectivity, emissivity and thermal inertia from the analysis of infrared images ...
134
click to vote
MVA
1992
15 years 5 months ago
1992
In this study, we explore the domain of orthogonal transforms, in order to bring an understanding on the characterization of image features, with emphasis placed on the Karhunen-L...
161
click to vote
ISSTA
2007
ACM
15 years 5 months ago
2007
ACM
Progress in testing requires that we evaluate the effectiveness of testing strategies on the basis of hard experimental evidence, not just intuition or a priori arguments. Random ...
110
click to vote
IJNSEC
2010
14 years 11 months ago
2010
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...