7978 search results - page 655 / 1596 » Combining shared-coin algorithms |
178
click to vote
SAT
2004
Springer
16 years 17 days ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
176
click to vote
TAL
2004
Springer
16 years 17 days ago
2004
Springer
This paper presents an algorithm to apply the smoothing techniques described in [1] to three different Machine Learning (ML) methods for Word Sense Disambiguation (WSD). The method...
159
click to vote
CSB
2003
IEEE
16 years 16 days ago
2003
IEEE
A simple statistical block code in combination with the LZW-based compression utilities gzip and compress has been found to increase by a significant amount the level of compressi...
196
click to vote
ASP
2003
Springer
16 years 14 days ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
190
click to vote
AVBPA
2003
Springer
16 years 14 days ago
2003
Springer
Classification is an important step towards fingerprint recognition. In the classification stage, fingerprints are usually associated to one of the five classes “A”, “L”, ...