2907 search results - page 226 / 582 » Presentations of Structures in Admissible Sets |
155
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
164
click to vote
WG
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
151
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
174
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Highly heterogeneous XML collections are thematic collections exploiting different structures: the parent-child or ancestor-descendant relationships are not preserved and...
177
click to vote
CAGD
2010
15 years 6 months ago
2010
Abstract. In this paper we introduce an unified framework for topological manipulation on triangulated 2manifolds with or without boundary. We show that there are two kinds of prim...