1236 search results - page 60 / 248 » On the Hamkins approximation property |
87
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
107
Voted
PAMI
2011
14 years 7 months ago
2011
—In this paper, we introduce a novel method to solve shape alignment problems. We use gray-scale “images” to represent source shapes, and propose a novel two-component Gaussi...
98
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
To be efficient, data protection algorithms should generally exploit the properties of the media information in the transform domain. In this paper, we will advocate the use of no...
144
Voted
IEEEICCI
2006
IEEE
15 years 6 months ago
2006
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...
120
click to vote
RTA
2010
Springer
15 years 4 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...