CORR
2008
Springer
15 years 25 days ago
2008
Springer
92
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
: In this paper I present several novel, efficient, algorithmic techniques for solving some multidimensional geometric data management and analysis problems. The techniques are bas...
105
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theo...
134
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
85
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Abstract--We investigate the relay selection problem in a network where users are able to collaborate with each other; decode and forward the messages of each other along with thei...
CORR
2008
Springer
15 years 25 days ago
2008
Springer
110
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
We address the problem of determining a natural local neighbourhood or "cluster" associated to a given seed vertex in an undirected graph. We formulate the task in terms...
93
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the t...
115
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Abstract--Realistic mobility models are fundamental to evaluate the performance of protocols in mobile ad hoc networks. Unfortunately, there are no mobility models that capture the...
130
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
This paper considers a multiple input multiple output (MIMO) two-way relay channel, where two nodes want to exchange data with each other using multiple relays. An iterative algor...