8413 search results - page 80 / 1683 » Ordering Problem Subgoals |
CSR
2008
Springer
13 years 9 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...
ICASSP
2007
IEEE
13 years 8 months ago
2007
IEEE
We present a study into all-pole spectral envelope estimation for the case of harmonic signals. We address the problem of the selection of the model order and propose to make use ...
SCL
2008
13 years 8 months ago
2008
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
SIAMJO
2008
13 years 8 months ago
2008
A first order affine scaling method and two mth order affine scaling methods for solving monotone linear complementarity problems (LCP) are presented. All three methods produce ite...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...