Search Sciweavers | Sciweavers

22

click to vote

FSTTCS
2009
Springer

118views Software Engineering» more FSTTCS 2009»

Continuous-Time Stochastic Games with Time-Bounded Reachability

14 years 2 days ago

Download www.fi.muni.cz

Tomás Brázdil, Vojtech Forejt, Jan K...

claim paper

Read More »

18

click to vote

FSTTCS
2009
Springer

106views Software Engineering» more FSTTCS 2009»

Mediating for Reduction (on Minimizing Alternating Büchi Automata)

14 years 2 months ago

Download www.fit.vutbr.cz

Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Ho...

claim paper

Read More »

17

click to vote

FSTTCS
2009
Springer

99views Software Engineering» more FSTTCS 2009»

A Fine-grained Analysis of a Simple Independent Set Algorithm

14 years 2 months ago

Download drops.dagstuhl.de

ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run

Joachim Kneis, Alexander Langer, Peter Rossmanith

claim paper

Read More »

15

click to vote

FSTTCS
2009
Springer

137views Software Engineering» more FSTTCS 2009»

The Covering and Boundedness Problems for Branching Vector Addition Systems

14 years 2 months ago

Download www.lsv.ens-cachan.fr

The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.

Stéphane Demri, Marcin Jurdzinski, Oded Lac...

claim paper

Read More »

16

click to vote

FSTTCS
2009
Springer

100views Software Engineering» more FSTTCS 2009»

Using Elimination Theory to construct Rigid Matrices

14 years 2 months ago

Download itcs.tsinghua.edu.cn

The rigidity of a matrix A for target rank r is the minimum number of entries of A that

Kumar Abhinav, Satyanarayana V. Lokam, Vijay M. Pa...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers