Search Sciweavers | Sciweavers

20

click to vote

DLT
2006

109views Theoretical Computer Science» more DLT 2006»

Adding Nesting Structure to Words

13 years 10 months ago

Download www.cis.upenn.edu

Rajeev Alur, P. Madhusudan

claim paper

Read More »

24

click to vote

DLT
2006

151views Theoretical Computer Science» more DLT 2006»

Synchronization of Pushdown Automata

13 years 10 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 »

26

click to vote

DLT
2006

110views Theoretical Computer Science» more DLT 2006»

Hierarchies of Tree Series Transformations Revisited

13 years 10 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 »

29

click to vote

STOC
2006
ACM

109views Algorithms» more STOC 2006»

The DLT priority sampling is essentially optimal

14 years 8 months ago

Download www.cs.rutgers.edu

Mario Szegedy

claim paper

Read More »

21

click to vote

DLT
2006

91views Theoretical Computer Science» more DLT 2006»

The Growth Ratio of Synchronous Rational Relations Is Unique

13 years 10 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