6020 search results - page 944 / 1204 » A New Approach to Model Counting |
154
click to vote
JMLR
2002
15 years 6 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
190
click to vote
NECO
2002
15 years 6 months ago
2002
In the presence of a heavy-tail noise distribution, regression becomes much more di cult. Traditional robust regression methods assume that the noise distribution is symmetric and...
177
click to vote
TCAD
2002
15 years 6 months ago
2002
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
181
click to vote
IJISTA
2007
15 years 6 months ago
2007
: We propose a novel algorithm to register multiple 3D point sets within a common reference frame simultaneously. Our approach performs an explicit optimisation on the manifold of ...
186
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...