2312 search results - page 139 / 463 » Invariance in Property Testing |
133
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
146
Voted
ECCV
1994
Springer
16 years 6 months ago
1994
Springer
Most of the work achieved thus far on aspect graphs has concentrated on the design of algorithms for computing the representation. After reviewing how the space of viewpoints can b...
127
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we present a new feature extraction method that simultaneously captures the global and local characteristics of an image by adaptively computing hierarchical geomet...
120
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper presents a new algorithm for realization of Gramian-preserving frequency transformation for linear discrete-time systems. In the proposed algorithm, we const...
149
click to vote
TIME
2005
IEEE
15 years 9 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...