649 search results - page 52 / 130 » An Improved Construction of Progression-Free Sets |
95
Voted
JAIR
2008
15 years 14 days ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...
ICCAD
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we present a new fanout optimization algorithm which is particularly suitable for digital circuits designed with submicron CMOS technologies. Restricting the class o...
154
click to vote
KDD
1998
ACM
15 years 4 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
121
Voted
NIPS
2001
15 years 1 months ago
2001
We present a sequential Monte Carlo method applied to additive noise compensation for robust speech recognition in time-varying noise. The method generates a set of samples accord...
155
click to vote
AAIP
2009
15 years 1 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...