Search Sciweavers | Sciweavers

9

click to vote

DLT
2006

109views Theoretical Computer Science» more DLT 2006»

Adding Nesting Structure to Words

13 years 6 months ago

Download www.cis.upenn.edu

Rajeev Alur, P. Madhusudan

claim paper

Read More »

11

click to vote

DLT
2006

151views Theoretical Computer Science» more DLT 2006»

Synchronization of Pushdown Automata

13 years 6 months ago

Download www-igm.univ-mlv.fr

Abstract. We introduce the synchronization of a pushdown automaton by a sequential transducer associating an integer to each input word. The visibly pushdown automata are the autom...

Didier Caucal

claim paper

Read More »

15

click to vote

DLT
2006

110views Theoretical Computer Science» more DLT 2006»

Hierarchies of Tree Series Transformations Revisited

13 years 6 months ago

Download wwwtcs.inf.tu-dresden.de

Abstract. Tree series transformations computed by polynomial topdown and bottom-up tree series transducers are considered. The hierarchy of tree series transformations obtained in ...

Andreas Maletti

claim paper

Read More »

12

click to vote

STOC
2006
ACM

109views Algorithms» more STOC 2006»

The DLT priority sampling is essentially optimal

14 years 5 months ago

Download www.cs.rutgers.edu

Mario Szegedy

claim paper

Read More »

9

click to vote

DLT
2006

91views Theoretical Computer Science» more DLT 2006»

The Growth Ratio of Synchronous Rational Relations Is Unique

13 years 6 months ago

Download www.liafa.jussieu.fr

We introduce -synchronous relations for a rational number . We show that if a rational relation is both - and -synchronous for two different numbers and , then it is recognizab...

Olivier Carton

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers