1242 search results - page 108 / 249 » Benchmark Analysis with FaCT |
143
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
151
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...
133
click to vote
EURODAC
1990
IEEE
15 years 8 months ago
1990
IEEE
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...
109
click to vote
ESANN
2008
15 years 6 months ago
2008
A new approach for faithful relevance rating of attributes is proposed, enabling class-specific discriminatory data space transformations. The method is based on the adaptation of ...
140
Voted
AIA
2006
15 years 6 months ago
2006
This paper presents a dynamic neural filter for adaptive noise cancellation. The cancellation task is transformed to a system-identification problem, which is tackled by use of th...