Sciweavers

CORR
2011
Springer
256views Education» more  CORR 2011»
13 years 7 months ago
Approximating Graphic TSP by Matchings
We present a framework for approximating the metric TSP based on a novel use of matchings. Traditionally, matchings have been used to add edges in order to make a given graph Eule...
Tobias Mömke, Ola Svensson
CORR
2011
Springer
171views Education» more  CORR 2011»
13 years 7 months ago
A Class of Probabilistic Automata with a Decidable Value 1 Problem
The value 1 problem is a decision problem for probabilistic automata on finite words: given a probabilistic automaton A, are there words accepted by A with probability arbitraril...
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Ou...
CORR
2011
Springer
166views Education» more  CORR 2011»
13 years 7 months ago
Social Welfare in One-sided Matching Markets without Money
Anand Bhalgat, Deeparnab Chakrabarty, Sanjeev Khan...
CORR
2011
Springer
155views Education» more  CORR 2011»
13 years 7 months ago
Subexponential convergence for information aggregation on regular trees
— We consider the decentralized binary hypothesis testing problem on trees of bounded degree and increasing depth. For a regular tree of depth t and branching factor k ≥ 2, we ...
Yashodhan Kanoria, Andrea Montanari
CORR
2011
Springer
213views Education» more  CORR 2011»
13 years 7 months ago
Liquidsoap: a High-Level Programming Language for Multimedia Streaming
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
David Baelde, Romain Beauxis, Samuel Mimram
CORR
2011
Springer
169views Education» more  CORR 2011»
13 years 7 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
CORR
2011
Springer
149views Education» more  CORR 2011»
13 years 7 months ago
Load-Balancing Spatially Located Computations using Rectangular Partitions
Distributing spatially located heterogeneous workloads is an important problem in parallel scientific computing. We investigate the problem of partitioning such workloads (repres...
Erik Saule, Erdeniz Ö. Bas, Ümit V. &Cce...
CORR
2011
Springer
123views Education» more  CORR 2011»
13 years 7 months ago
Kernels for Global Constraints
Serge Gaspers, Stefan Szeider
CORR
2011
Springer
193views Education» more  CORR 2011»
13 years 7 months ago
On the regularity of iterated hairpin completion of a single word
Hairpin completion is an abstract operation modeling a DNA biooperation which receives as input a DNA strand w = xαyα, and outputs w = xαy¯αx, where x denotes the Watson-Cric...
Lila Kari, Steffen Kopecki, Shinnosuke Seki