Sciweavers

Share
CORR
2010
Springer
54views Education» more  CORR 2010»
9 years 1 months ago
Finding topological subgraphs is fixed-parameter tractable
Martin Grohe, Ken-ichi Kawarabayashi, Dánie...
CORR
2010
Springer
106views Education» more  CORR 2010»
9 years 1 months ago
Deduction as Reduction
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
Dominique Duval
CORR
2010
Springer
139views Education» more  CORR 2010»
9 years 1 months ago
A recombination algorithm for the decomposition of multivariate rational functions
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...
Guillaume Chèze
CORR
2010
Springer
116views Education» more  CORR 2010»
9 years 1 months ago
Mixed-Membership Stochastic Block-Models for Transactional Networks
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...
Mahdi Shafiei, Hugh Chipman
CORR
2010
Springer
65views Education» more  CORR 2010»
9 years 1 months ago
Feedback Vertex Set in Mixed Graphs
Paul S. Bonsma, Daniel Lokshtanov
CORR
2010
Springer
90views Education» more  CORR 2010»
9 years 1 months ago
Multiparty Equality Function Computation in Networks with Point-to-Point Links
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,
Guanfeng Liang, Nitin H. Vaidya
CORR
2010
Springer
143views Education» more  CORR 2010»
9 years 1 months ago
Dynamics of Profit-Sharing Games
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...
John Augustine, Ning Chen, Edith Elkind, Angelo Fa...
CORR
2010
Springer
67views Education» more  CORR 2010»
9 years 1 months ago
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebasti...
CORR
2010
Springer
73views Education» more  CORR 2010»
9 years 1 months ago
A Parameterized Centrality Metric for Network Analysis
Rumi Ghosh, Kristina Lerman
CORR
2010
Springer
80views Education» more  CORR 2010»
9 years 1 months ago
Distributed Deterministic Edge Coloring using Bounded Neighborhood Independence
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...
Leonid Barenboim, Michael Elkin
books