Sciweavers

12 search results - page 1 / 3

» wia 2005

10

WIA
2005
Springer

80views Artificial Intelligence» more WIA 2005»

Simulation of Soliton Circuits

13 years 10 months ago

Simulation of Soliton Circuits

Download www.jgytf.u-szeged.hu

Miklós Krész

claim paper

Read More »

9

WIA
2005
Springer

73views Artificial Intelligence» more WIA 2005»

The Language, the Expression, and the (Small) Automaton

13 years 10 months ago

The Language, the Expression, and the (Small) Automaton

Download www.infres.enst.fr

Jacques Sakarovitch

claim paper

Read More »

8

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

13 years 10 months ago

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

8

WIA
2005
Springer

99views Artificial Intelligence» more WIA 2005»

Deeper Connections Between LTL and Alternating Automata

13 years 10 months ago

Deeper Connections Between LTL and Alternating Automata

Download www.fi.muni.cz

Radek Pelánek, Jan Strejcek

claim paper

Read More »

11

WIA
2005
Springer

89views Artificial Intelligence» more WIA 2005»

Inside Vaucanson

13 years 10 months ago

Inside Vaucanson

Download www-rocq.inria.fr

Thomas Claveirole, Sylvain Lombardy, Sarah O'Conno...

claim paper

Read More »

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