Sciweavers

13827 search results - page 86 / 2766

» The state of artificial intelligence

21

WIA
2007
Springer

70views Artificial Intelligence» more WIA 2007»

Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms

14 years 3 months ago

Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms

Download grammars.grlmc.com

Magnus Steinby, Catalin Ionut Tîrnauca

claim paper

Read More »

24

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 3 months ago

Linear-Time Model Checking: Automata Theory in Practice

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

25

WIA
2007
Springer

81views Artificial Intelligence» more WIA 2007»

Synchronizing Automata Preserving a Chain of Partial Orders

14 years 3 months ago

Synchronizing Automata Preserving a Chain of Partial Orders

Download www.stringology.org

Mikhail V. Volkov

claim paper

Read More »

24

WIA
2007
Springer

95views Artificial Intelligence» more WIA 2007»

A New Method for Compiling Parallel Replacement Rules

14 years 3 months ago

A New Method for Compiling Parallel Replacement Rules

Download www.ling.helsinki.fi

Anssi Yli-Jyrä, Kimmo Koskenniemi

claim paper

Read More »

16

CEC
2005
IEEE

89views Artificial Intelligence» more CEC 2005»

A restart CMA evolution strategy with increasing population size

14 years 3 months ago

A restart CMA evolution strategy with increasing population size

Download www.lri.fr

Anne Auger, Nikolaus Hansen

claim paper

Read More »

« Prev « First page 86 / 2766 Last » Next »