Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
LATIN
2004
Springer
12 years 1 months ago
On the (Im)possibility of Non-interactive Correlation Distillation
We study the problem of non-interactive correlation distillation (NICD). Suppose Alice and Bob each has a string, denoted by A = a0a1 · · · an−1 and B = b0b1 · · · bn−1,...
Ke Yang
LATIN
2004
Springer
12 years 1 months ago
A Proof System and a Decision Procedure for Equality Logic
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
Olga Tveretina, Hans Zantema
LATIN
2004
Springer
12 years 1 months ago
Combinatorial Problems on Strings with Applications to Protein Folding
We consider the problem of protein folding in the HP model on the 3D square lattice. This problem is combinatorially equivalent to folding a string of 0’s and 1’s so that the s...
Alantha Newman, Matthias Ruhl
LATIN
2004
Springer
12 years 1 months ago
How Expressions Can Code for Automata
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
Sylvain Lombardy, Jacques Sakarovitch
LATIN
2004
Springer
12 years 1 months ago
Querying Priced Information in Databases: The Conjunctive Case
Eduardo Sany Laber, Renato Carmo, Yoshiharu Kohaya...
LATIN
2004
Springer
12 years 1 months ago
Rooted Maximum Agreement Supertrees
Jesper Jansson, Joseph H.-K. Ng, Kunihiko Sadakane...
LATIN
2004
Springer
12 years 1 months ago
The Complexity of Finding Top-Toda-Equivalence-Class Members
Lane A. Hemaspaandra, Mitsunori Ogihara, Mohammed ...
LATIN
2004
Springer
12 years 1 months ago
Distributed Games and Distributed Control for Asynchronous Systems
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
Paul Gastin, Benjamin Lerman, Marc Zeitoun
LATIN
2004
Springer
12 years 1 months ago
Rotation and Lighting Invariant Template Matching
We address the problem of searching for a two-dimensional pattern in a two-dimensional text (or image), such that the pattern can be found even if it appears rotated and it is bri...
Kimmo Fredriksson, Veli Mäkinen, Gonzalo Nava...
LATIN
2004
Springer
12 years 1 months ago
Embracing the Giant Component
Consider a game in which edges of a graph are provided a pair at a time, and the player selects one edge from each pair, attempting to construct a graph with a component as large ...
Abraham Flaxman, David Gamarnik, Gregory B. Sorkin
books