Search Sciweavers | Sciweavers

327 search results - page 8 / 66

» Algorithms for infinite huffman-codes

click to vote

SOFSEM
2010
Springer

107views Theoretical Computer Science» more SOFSEM 2010»

Linear Complementarity Algorithms for Infinite Games

14 years 4 months ago

Download www.sofsem.cz

John Fearnley, Marcin Jurdzinski, Rahul Savani

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

14 years 2 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

click to vote

TACAS
2007
Springer

67views Algorithms» more TACAS 2007»

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

14 years 1 months ago

Download www.liafa.jussieu.fr

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

claim paper

Read More »

click to vote

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

14 years 27 days ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

click to vote

WDAG
2000
Springer

72views Algorithms» more WDAG 2000»

Computing with Infinitely Many Processes

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers