7123 search results - page 173 / 1425 » The Ordered Set of Rough Sets |
165
click to vote
ASPDAC
2006
ACM
16 years 14 days ago
2006
ACM
Abstract— For scan-based testing, the high test power consumption may cause test power management problems, and the extra scan chain connections may cause routability degradation...
152
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
147
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
184
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
154
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ ...