Sciweavers

Share
FSTTCS
2009
Springer
8 years 9 months ago
Synthesis of Finite-state and Definable Winning Strategies
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
Alexander Rabinovich
FSTTCS
2009
Springer
8 years 10 months ago
Continuous-Time Stochastic Games with Time-Bounded Reachability
Tomás Brázdil, Vojtech Forejt, Jan K...
FSTTCS
2009
Springer
8 years 10 months ago
Bounded Size Graph Clustering with Applications to Stream Processing
We introduce a graph clustering problem motivated by a stream processing application. Input to our problem is an undirected graph with vertex and edge weights. A cluster is a subse...
Rohit Khandekar, Kirsten Hildrum, Sujay Parekh, De...
FSTTCS
2009
Springer
8 years 12 months ago
Mediating for Reduction (on Minimizing Alternating Büchi Automata)
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho...
FSTTCS
2009
Springer
8 years 12 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
FSTTCS
2009
Springer
8 years 12 months ago
Fractional Pebbling and Thrifty Branching Programs
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
Mark Braverman, Stephen A. Cook, Pierre McKenzie, ...
FSTTCS
2009
Springer
8 years 12 months ago
Kernels for Feedback Arc Set In Tournaments
A tournament T = (V, A) is a directed graph in which there is exactly one arc between every pair of distinct vertices. Given a digraph on n vertices and an integer parameter k, th...
Stéphane Bessy, Fedor V. Fomin, Serge Gaspe...
FSTTCS
2009
Springer
8 years 12 months ago
Approximating Fault-Tolerant Group-Steiner Problems
In this paper, we initiate the study of designing approximation algorithms for FaultTolerant Group-Steiner (FTGS) problems. The motivation is to protect the well-studied group-Ste...
Rohit Khandekar, Guy Kortsarz, Zeev Nutov
books