Search Sciweavers | Sciweavers

303 search results - page 10 / 61

» Automata on Gauss Words

Voted

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

15 years 5 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

Voted

CAV
2006
Springer

80views Hardware» more CAV 2006»

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

15 years 4 months 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

15 years 4 months 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

15 years 14 days 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

15 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers