2143 search results - page 116 / 429 » corr 2010 |
92
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Optimizing interconnection networks is a prime object in switching schemes. In this work the authors present a novel approach for obtaining a required channel arrangement in a mul...
81
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
127
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
ABSTRACT. Reeb graphs provide a method for studying the shape of a manifold by encoding the evolution and arrangement of level sets of a simple Morse function defined on
76
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces.
100
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
The high-level contribution of this paper is a simulation-based analysis to evaluate the tradeoffs between lifetime and hop count of link-disjoint, node-disjoint and zone-disjoint...