2373 search results - page 17 / 475 » On the Theory of Structural Subtyping |
134
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
148
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
147
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
154
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
