Search Sciweavers | Sciweavers

12015 search results - page 87 / 2403

» Interactive Algorithms 2005

click to vote

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

14 years 2 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

click to vote

TACAS
2005
Springer

105views Algorithms» more TACAS 2005»

Using Language Inference to Verify Omega-Regular Properties

14 years 2 months ago

Download osl.cs.uiuc.edu

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...

claim paper

Read More »

click to vote

WADS
2005
Springer

88views Algorithms» more WADS 2005»

Approximating the Online Set Multicover Problems via Randomized Winnowing

14 years 2 months ago

Download www.cs.uic.edu

Piotr Berman, Bhaskar DasGupta

claim paper

Read More »

click to vote

WADS
2005
Springer

69views Algorithms» more WADS 2005»

Succinct Representation of Triangulations with a Boundary

14 years 2 months ago

Download www.lix.polytechnique.fr

Luca Castelli Aleardi, Olivier Devillers, Gilles S...

claim paper

Read More »

click to vote

WADS
2005
Springer

96views Algorithms» more WADS 2005»

Kinetic and Dynamic Data Structures for Convex Hulls and Upper Envelopes

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers