CORR
2010
Springer
12 years 11 months ago
2010
Springer
CORR
2010
Springer
12 years 11 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.
CORR
2010
Springer
12 years 11 months ago
2010
Springer
In this paper we show how we can compute in a deterministic way the decomposition of a multivariate rational function with a recombination strategy. The key point of our recombinat...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
Abstract: Transactional network data can be thought of as a list of oneto-many communications (e.g., email) between nodes in a social network. Most social network models convert th...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
CORR
2010
Springer
12 years 11 months ago
2010
Springer
Abstract. In this paper, we study the problem of computing the multiparty equality (MEQ) function: n 2 nodes, each of which is given an input value from {1,
CORR
2010
Springer
12 years 11 months ago
2010
Springer
An important task in the analysis of multiagent systems is to understand how groups of selfish players can form coalitions, i.e., work together in teams. In this paper, we study t...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
CORR
2010
Springer
12 years 11 months ago
2010
Springer
CORR
2010
Springer
12 years 11 months ago
2010
Springer
We study the edge-coloring problem in the message-passing model of distributed computing. This is one of the most fundamental problems in this area. Currently, the best-known dete...