3145 search results - page 354 / 629 » Algebraic Linear Orderings |
154
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
193
click to vote
WIDM
2004
ACM
16 years 6 hour ago
2004
ACM
In this paper, we propose a set of similarity metrics for manipulating collections of values occuring in XML documents. Following the data model presented in TAX algebra, we treat...
158
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
185
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
179
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...