7393 search results - page 153 / 1479 » Synthesis-for-testability using transformations |
102
click to vote
ICIP
1994
IEEE
16 years 4 months ago
1994
IEEE
Periodic or symmetric extensions are commonly used for processing images and other finitelength signals with a paraunitary Alter bank (PUFB).Unlike infinite-length signals, PUFBs ...
246
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
In spite of the great progress in the data mining field in recent years, the problem of missing and uncertain data has remained a great challenge for data mining algorithms. Many ...
139
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
117
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
127
Voted
FSS
2006
15 years 3 months ago
2006
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...