365 search results - page 65 / 73 » First-order logical filtering |
87
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
75
Voted
DDECS
2007
IEEE
15 years 6 months ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
69
Voted
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this work an improved scheme for eliminating impulsive noise of varying strengths from corrupted images is proposed. A neural network is employed to classify the corrupted and n...
77
Voted
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
—The Delay Filtered Dual Interlocked storage Cell (DF-DICE) offers a scalable solution in different radiation environments for soft error mitigation. The area and speed performan...
SIPS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an error compensation method for truncated multiplication. From two n-bit operands, the operator produces an n-bit product with small error compared to the 2n-b...