Search Sciweavers | Sciweavers

48 search results - page 1 / 10

» jacm 2006

Voted

JACM
2000

55views more JACM 2000»

An automata-theoretic approach to branching-time model checking

14 years 10 months ago

Download folli.loria.fr

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper

claim paper

Read More »

click to vote

JACM
1998

52views more JACM 1998»

Randomized Binary Search Trees

14 years 10 months ago

Download compgeom.cs.uiuc.edu

Conrado Martínez, Salvador Roura

claim paper

Read More »

click to vote

JACM
1998

51views more JACM 1998»

Explicit OR-Dispersers with Polylogarithmic Degree

14 years 10 months ago

Download www.cis.upenn.edu

Michael E. Saks, Aravind Srinivasan, Shiyu Zhou

claim paper

Read More »

click to vote

JACM
2010

57views more JACM 2010»

Schema mapping discovery from data instances

14 years 8 months ago

Download pierre.senellart.com

Georg Gottlob, Pierre Senellart

claim paper

Read More »

Voted

JACM
2010

99views more JACM 2010»

Transitive closure logic, nested tree walking automata, and XPath

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers