450 search results - page 48 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
IANDC
2008
13 years 8 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— In this paper, a novel multiple target localization approach is proposed by exploiting the compressive sensing theory, which indicates that sparse or compressible signa...
DISOPT
2008
13 years 8 months ago
2008
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
SIAMSC
2008
13 years 8 months ago
2008
In this study, nonnegative matrix factorization is recast as the problem of approximating a polytope on the probability simplex by another polytope with fewer facets. Working on th...
COLT
2004
Springer
14 years 2 months ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....