Search Sciweavers | Sciweavers

3750 search results - page 32 / 750

» Timed Automata Patterns

click to vote

CONCUR
1999
Springer

164views Distributed And Parallel Com...» more CONCUR 1999»

Partial Order Reduction for Model Checking of Timed Automata

13 years 12 months ago

Download bigfoot.cs.upt.ro

Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...

Marius Minea

claim paper

Read More »

click to vote

ACAL
2007
Springer

83views Artificial Intelligence» more ACAL 2007»

Pattern Extraction Improves Automata-Based Syntax Analysis in Songbirds

14 years 1 months ago

Download okanoyalab.brain.riken.jp

Yasuki Kakishita, Kazutoshi Sasahara, Tetsuro Nish...

claim paper

Read More »

click to vote

DMCCG
2001
Springer

119views Combinatorics» more DMCCG 2001»

Periodic Patterns in Orbits of Certain Linear Cellular Automata

14 years 2 days ago

Download www.emis.de

André Barbé, Fritz von Haeseler

claim paper

Read More »

click to vote

CPM
2008
Springer

112views Combinatorics» more CPM 2008»

Probabilistic Arithmetic Automata and Their Application to Pattern Matching Statistics

13 years 9 months ago

Download www.cs.ucr.edu

Tobias Marschall, Sven Rahmann

claim paper

Read More »

click to vote

CPHYSICS
2010

59views more CPHYSICS 2010»

Complete sets of initial vectors for pattern growth with elementary cellular automata

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers