3019 search results - page 297 / 604 » Approximating the Domatic Number |
178
click to vote
SAT
2005
Springer
16 years 2 days ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
177
click to vote
COLT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
188
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
In many application contexts, like statistical databases, scientific databases, query optimizers, OLAP, and so on, data are often summarized into synopses of aggregate values. Su...
157
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
Name matching—recognizing when two different strings are likely to denote the same entity—is an important task in many legal information systems, such as case-management syste...
179
click to vote
STOC
2003
ACM
15 years 12 months ago
2003
ACM
Given a k-uniform hypergraph, the Ek-Vertex-Cover problem is to find the smallest subset of vertices that intersects every hyperedge. We present a new multilayered PCP constructi...