13784 search results - page 373 / 2757 » On Computing Functions with Uncertainty |
158
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
261
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
144
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
133
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
We deal with blind signal extraction in the framework of a convolutive mixture of independent sources. Considering so-called reference signals, we generalize former identifiabilit...
130
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a wrapper and TAM co-optimization method for reuse of SoC functional interconnects to minimize test time under area constraint. The proposed method consists of...