Sciweavers

12993 search results - page 60 / 2599

» Artificial Intelligence in China

17

SARA
2005
Springer

70views Artificial Intelligence» more SARA 2005»

Sequential Decision Making Under Uncertainty

14 years 1 months ago

Sequential Decision Making Under Uncertainty

Download users.isr.ist.utl.pt

Masoumeh T. Izadi

claim paper

Read More »

15

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

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

14 years 1 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 »

20

WIA
2005
Springer

80views Artificial Intelligence» more WIA 2005»

Simulation of Soliton Circuits

14 years 1 months ago

Simulation of Soliton Circuits

Download www.jgytf.u-szeged.hu

Miklós Krész

claim paper

Read More »

17

WIA
2005
Springer

99views Artificial Intelligence» more WIA 2005»

Deeper Connections Between LTL and Alternating Automata

14 years 1 months ago

Deeper Connections Between LTL and Alternating Automata

Download www.fi.muni.cz

Radek Pelánek, Jan Strejcek

claim paper

Read More »

18

WIA
2005
Springer

73views Artificial Intelligence» more WIA 2005»

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

14 years 1 months ago

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

Download www.infres.enst.fr

Jacques Sakarovitch

claim paper

Read More »

« Prev « First page 60 / 2599 Last » Next »