233 search results - page 8 / 47 » Semantical Counting Circuits |
ICCAD
1999
IEEE
15 years 1 months ago
1999
IEEE
We describe a method referred to as sequence counting to improve on the levels of compaction achievable by vector omission based static compaction procedures. Such procedures are ...
111
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract— In this paper, we propose a novel, effective and efficient probabilistic pruning criterion for probabilistic similarity queries on uncertain data. Our approach support...
ISMVL
2008
IEEE
15 years 3 months ago
2008
IEEE
Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, re...
GLVLSI
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...