7988 search results - page 281 / 1598 » A Useful Undecidable Theory |
119
click to vote
AMC
2007
15 years 5 months ago
2007
A hierarchical least squares (HLS) algorithm is derived in details for identifying MIMO ARX-like systems based on the hierarchical identification principle. It is shown that the ...
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Using the concept of discrete noiseless channels, it was shown by Shannon in A Mathematical Theory of Communication that the ultimate performance of an encoder for a constrained sy...
131
click to vote
EJC
2010
15 years 5 months ago
2010
We use group theory to construct infinite families of maps on surfaces which are invariant under Wilson's map operations of order 3 but not under the operations of order 2, s...
126
click to vote
ENTCS
2008
15 years 5 months ago
2008
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in satisfiability modulo theories solvers that handle quant...
119
click to vote
FOCM
2006
15 years 5 months ago
2006
We introduce some modifications and extensions of the concept od index pair in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in...