738 search results - page 92 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
DASFAA
2007
IEEE
15 years 4 months ago
2007
IEEE
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
Estimating multivariate location and scatter with both affine equivariance and positive breakdown has always been difficult. A well-known estimator which satisfies both properties...
NGC
2006
Springer
14 years 9 months ago
2006
Springer
This paper examines two seemingly unrelated qualitative spatial reasoning domains; geometric proportional analogies and topographic (landcover) maps. We present a Structure Matchin...
SAS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
STACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We study computationally hard combinatorial problems arising from the important engineering question of how to maximize the number of connections that can be simultaneous...