Sciweavers

35 search results - page 1 / 7

» lata 2009

10

LATA
2009
Springer

114views Artificial Intelligence» more LATA 2009»

Learning by Erasing in Dynamic Epistemic Logic

13 years 11 months ago

Learning by Erasing in Dynamic Epistemic Logic

Download staff.science.uva.nl

Nina Gierasimczuk

claim paper

Read More »

12

LATA
2009
Springer

85views Artificial Intelligence» more LATA 2009»

Two Equivalent Regularizations for Tree Adjoining Grammars

13 years 11 months ago

Two Equivalent Regularizations for Tree Adjoining Grammars

Download www.uni-trier.de

Anna Kasprzik

claim paper

Read More »

9

LATA
2009
Springer

76views Artificial Intelligence» more LATA 2009»

Segmentation Charts for Czech - Relations among Segments in Complex Sentences

13 years 11 months ago

Segmentation Charts for Czech - Relations among Segments in Complex Sentences

Download ufal.mff.cuni.cz

Markéta Lopatková, Tomás Hola...

claim paper

Read More »

9

LATA
2009
Springer

120views Artificial Intelligence» more LATA 2009»

Converting Self-verifying Automata into Deterministic Automata

13 years 11 months ago

Converting Self-verifying Automata into Deterministic Automata

Download homes.dico.unimi.it

Galina Jirásková, Giovanni Pighizzin...

claim paper

Read More »

11

LATA
2009
Springer

127views Artificial Intelligence» more LATA 2009»

Absolute Convergence of Rational Series Is Semi-decidable

13 years 9 months ago

Absolute Convergence of Rational Series Is Semi-decidable

Download hal.archives-ouvertes.fr

Raphaël Bailly, François Denis

claim paper

Read More »

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