Search Sciweavers | Sciweavers

303 search results - page 10 / 61

» Automata on Gauss Words

click to vote

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

14 years 1 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

click to vote

CAV
2006
Springer

80views Hardware» more CAV 2006»

Don't Care Words with an Application to the Automata-Based Approach for Real Addition

14 years 4 days ago

Download www.cs.ubc.ca

d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit

Jochen Eisinger, Felix Klaedtke

claim paper

Read More »

click to vote

CONCUR
2006
Springer

89views Distributed And Parallel Com...» more CONCUR 2006»

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

14 years 4 days ago

Download www.cs.huji.ac.il

Orna Kupferman, Sarai Sheinvald-Faragy

claim paper

Read More »

click to vote

CORR
2008
Springer

69views Education» more CORR 2008»

Safety alternating automata on data words

13 years 8 months ago

Download tocl.acm.org

Ranko Lazic

claim paper

Read More »

click to vote

FUIN
2006

79views more FUIN 2006»

Automata Recognizing No Words: A Statistical Approach

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers