Sciweavers

48 search results - page 1 / 10
» jacm 2006
Sort
View
JACM
2000
55views more  JACM 2000»
13 years 4 months ago
An automata-theoretic approach to branching-time model checking
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
JACM
1998
52views more  JACM 1998»
13 years 4 months ago
Randomized Binary Search Trees
Conrado Martínez, Salvador Roura
JACM
1998
51views more  JACM 1998»
13 years 4 months ago
Explicit OR-Dispersers with Polylogarithmic Degree
Michael E. Saks, Aravind Srinivasan, Shiyu Zhou
JACM
2010
57views more  JACM 2010»
13 years 2 months ago
Schema mapping discovery from data instances
Georg Gottlob, Pierre Senellart