Sciweavers

9 search results - page 1 / 2

» wia 2009

112

WIA
2009
Springer

231views Artificial Intelligence» more WIA 2009»

Implementation and Application of Automata in String Processing

15 years 10 months ago

Implementation and Application of Automata in String Processing

Download www.cse.unsw.edu.au

Gonzalo Navarro

claim paper

Read More »

106

WIA
2009
Springer

225views Artificial Intelligence» more WIA 2009»

Time-Optimal Winning Strategies for Poset Games

15 years 10 months ago

Time-Optimal Winning Strategies for Poset Games

Download www.automata.rwth-aachen.de

Martin Zimmermann 0002

claim paper

Read More »

131

WIA
2009
Springer

288views Artificial Intelligence» more WIA 2009»

Compact Representation for Answer Sets of n-ary Regular Queries

15 years 10 months ago

Compact Representation for Answer Sets of n-ary Regular Queries

Download www.kmonos.net

Kazuhiro Inaba, Haruo Hosoya

claim paper

Read More »

112

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

15 years 10 months ago

TAGED Approximations for Temporal Properties Model-Checking

Download www.lsv.ens-cachan.fr

Roméo Courbis, Pierre-Cyrille Héam, ...

claim paper

Read More »

134

Voted

WIA
2009
Springer

241views Artificial Intelligence» more WIA 2009»

Random Generation of Deterministic Tree (Walking) Automata

15 years 10 months ago

Random Generation of Deterministic Tree (Walking) Automata

Download lifc.univ-fcomte.fr

Uniform random generators deliver a simple empirical means to estimate the average complexity of an algorithm. We present a general rejection algorithm that generates sequential le...

Pierre-Cyrille Héam, Cyril Nicaud, Sylvain ...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »