Sciweavers

50 search results - page 1 / 10

» csl 2010

7

CSL
2010
Springer

123views Automated Reasoning» more CSL 2010»

Coq Modulo Theory

13 years 5 months ago

Coq Modulo Theory

Download gra103.aca.ntu.edu.tw

Pierre-Yves Strub

claim paper

Read More »

10

CSL
2010
Springer

120views Automated Reasoning» more CSL 2010»

Towards a Canonical Classical Natural Deduction System

13 years 5 months ago

Towards a Canonical Classical Natural Deduction System

Download w3.math.uminho.pt

José Espírito Santo

claim paper

Read More »

10

CSL
2010
Springer

111views Automated Reasoning» more CSL 2010»

Inductive-Inductive Definitions

13 years 5 months ago

Inductive-Inductive Definitions

Download cs.swan.ac.uk

Fredrik Nordvall Forsberg, Anton Setzer

claim paper

Read More »

11

CSL
2010
Springer

120views Automated Reasoning» more CSL 2010»

Discriminative classifiers with adaptive kernels for noise robust speech recognition

13 years 4 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 »

10

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 4 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 1 / 10 Last » Next »