1361 search results - page 186 / 273 » Spaces of practice |
SAT
2005
Springer
15 years 5 months 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...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
A “plan diagram” is a pictorial enumeration of the execution plan choices of a database query optimizer over the relational selectivity space. In this paper, we present and an...
100
Voted
COMPGEOM
2004
ACM
15 years 5 months ago
2004
ACM
We present a new algorithm for unfolding planar polygonal linkages without self-intersection based on following the gradient flow of a “repulsive” energy function. This algor...
101
click to vote
AIRS
2004
Springer
15 years 5 months ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...