659 search results - page 120 / 132 » Logical Particle Filtering |
CADE
2007
Springer
14 years 7 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...
DDECS
2007
IEEE
14 years 1 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 ...
FUZZIEEE
2007
IEEE
14 years 1 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...
ISCAS
2006
IEEE
14 years 1 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
14 years 1 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...