Sciweavers

9 search results - page 1 / 2

» wia 2009

12

WIA
2009
Springer

231views Artificial Intelligence» more WIA 2009»

Implementation and Application of Automata in String Processing

13 years 11 months ago

Implementation and Application of Automata in String Processing

Download www.cse.unsw.edu.au

Gonzalo Navarro

claim paper

Read More »

14

WIA
2009
Springer

225views Artificial Intelligence» more WIA 2009»

Time-Optimal Winning Strategies for Poset Games

13 years 11 months ago

Time-Optimal Winning Strategies for Poset Games

Download www.automata.rwth-aachen.de

Martin Zimmermann 0002

claim paper

Read More »

15

WIA
2009
Springer

288views Artificial Intelligence» more WIA 2009»

Compact Representation for Answer Sets of n-ary Regular Queries

13 years 11 months ago

Compact Representation for Answer Sets of n-ary Regular Queries

Download www.kmonos.net

Kazuhiro Inaba, Haruo Hosoya

claim paper

Read More »

21

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

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

13

WIA
2009
Springer

241views Artificial Intelligence» more WIA 2009»

Random Generation of Deterministic Tree (Walking) Automata

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