Sciweavers

421 search results - page 11 / 85

» CSL

23

CSL
2010
Springer

123views Automated Reasoning» more CSL 2010»

Coq Modulo Theory

13 years 9 months ago

Coq Modulo Theory

Download gra103.aca.ntu.edu.tw

Pierre-Yves Strub

claim paper

Read More »

27

CSL
2010
Springer

111views Automated Reasoning» more CSL 2010»

Inductive-Inductive Definitions

13 years 9 months ago

Inductive-Inductive Definitions

Download cs.swan.ac.uk

Fredrik Nordvall Forsberg, Anton Setzer

claim paper

Read More »

22

CSL
2010
Springer

120views Automated Reasoning» more CSL 2010»

Towards a Canonical Classical Natural Deduction System

13 years 9 months ago

Towards a Canonical Classical Natural Deduction System

Download w3.math.uminho.pt

José Espírito Santo

claim paper

Read More »

20

CSL
2010
Springer

120views Automated Reasoning» more CSL 2010»

Discriminative classifiers with adaptive kernels for noise robust speech recognition

13 years 8 months ago

Discriminative classifiers with adaptive kernels for noise robust speech recognition

Download mi.eng.cam.ac.uk

M. J. F. Gales, Federico Flego

claim paper

Read More »

23

CSL
2010
Springer

96views Automated Reasoning» more CSL 2010»

Morpho-syntactic post-processing of N-best lists for improved French automatic speech recognition

13 years 8 months ago

Morpho-syntactic post-processing of N-best lists for improved French automatic speech recognition

Download www.irisa.fr

Stéphane Huet, Guillaume Gravier, Pascale S...

claim paper

Read More »

« Prev « First page 11 / 85 Last » Next »