157 search results - page 24 / 32 » Incremental Compilation-to-SAT Procedures |
68
Voted
IWANN
1999
Springer
15 years 1 months ago
1999
Springer
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
FPGA
1998
ACM
15 years 1 months ago
1998
ACM
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...
72
Voted
GIS
1998
ACM
15 years 1 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
104
click to vote
IWPC
1997
IEEE
15 years 1 months ago
1997
IEEE
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
100
click to vote
CEAS
2006
Springer
15 years 1 months ago
2006
Springer
Naive Bayes is very popular in commercial and open-source anti-spam e-mail filters. There are, however, several forms of Naive Bayes, something the anti-spam literature does not a...