3145 search results - page 354 / 629 » Algebraic Linear Orderings |
171
click to vote
FOSSACS
2005
Springer
16 years 1 months 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...
217
Voted
WIDM
2004
ACM
16 years 26 days 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...
184
click to vote
DIAGRAMS
2004
Springer
16 years 25 days 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...
218
click to vote
EMSOFT
2004
Springer
16 years 25 days 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...
206
click to vote
ACSD
2003
IEEE
16 years 23 days 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...