Sciweavers

CORR
2006
Springer
144views Education» more  CORR 2006»
13 years 11 months ago
The minimum linear arrangement problem on proper interval graphs
We present a linear time algorithm for the minimum linear arrangement problem on proper interval graphs. The obtained ordering is a 4-approximation for general interval graphs. 1 ...
Ilya Safro
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 11 months ago
A Graph-based Framework for Transmission of Correlated Sources over Broadcast Channels
Abstract-- In this paper we consider the communication problem that involves transmission of correlated sources over broadcast channels. We consider a graph-based framework for thi...
Suhan Choi, S. Sandeep Pradhan
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 11 months ago
A field-theory motivated approach to symbolic computer algebra
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be ...
Kasper Peeters
CORR
2006
Springer
81views Education» more  CORR 2006»
13 years 11 months ago
A Finite Equational Base for CCS with Left Merge and Communication Merge
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
CORR
2006
Springer
140views Education» more  CORR 2006»
13 years 11 months ago
A Vortex Method for Bi-phasic Fluids Interacting with Rigid Bodies
We present an accurate Lagrangian method based on vortex particles, level-sets, and immersed boundary methods, for animating the interplay between two fluids and rigid solids. We ...
Mathieu Coquerelle, Jérémie Allard, ...
CORR
2006
Springer
97views Education» more  CORR 2006»
13 years 11 months ago
The one-way communication complexity of the Boolean Hidden Matching Problem
We give a tight lower bound of ( n) for the randomized one-way communication complexity of the Boolean Hidden Matching Problem [BJK04]. Since there is a quantum one-way communica...
Iordanis Kerenidis, Ran Raz
CORR
2006
Springer
104views Education» more  CORR 2006»
13 years 11 months ago
Conflict Free Rule for Combining Evidences
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
Frédéric Dambreville
CORR
2006
Springer
109views Education» more  CORR 2006»
13 years 11 months ago
Singular Values and Eigenvalues of Tensors: A Variational Approach
We propose a theory of eigenvalues, eigenvectors, singular values, and singular vectors for tensors based on a constrained variational approach much like the Rayleigh quotient for...
Lek-Heng Lim
CORR
2006
Springer
68views Education» more  CORR 2006»
13 years 11 months ago
A rigorous proof of the cavity method for counting matchings
In this paper we rigorously prove the validity of the cavity method for the problem of counting the number of matchings in graphs with large girth. Cavity method is an important he...
Mohsen Bayati, Chandra Nair
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 11 months ago
Fusion of qualitative beliefs using DSmT
Florentin Smarandache, Jean Dezert