Sciweavers

4617 search results - page 77 / 924

» Automation of Diagrammatic Reasoning

123

CSL
2004
Springer

94views Automated Reasoning» more CSL 2004»

Pronunciation change in conversational speech and its implications for automatic speech recognition

15 years 6 months ago

Pronunciation change in conversational speech and its implications for automatic speech recognition

Download www.clsp.jhu.edu

Murat Saraclar, Sanjeev Khudanpur

claim paper

Read More »

132

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

15 years 6 months ago

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

Download www.stoerr.net

Steffen Hölldobler, Hans-Peter Störr

claim paper

Read More »

118

CSL
2000
Springer

76views Automated Reasoning» more CSL 2000»

Structured language modeling

15 years 6 months ago

Structured language modeling

Download acl.ldc.upenn.edu

Ciprian Chelba, Frederick Jelinek

claim paper

Read More »

97

CSL
2002
Springer

117views Automated Reasoning» more CSL 2002»

Configuration Theories

15 years 6 months ago

Configuration Theories

Download www.dsi.uniroma1.it

Pietro Cenciarelli

claim paper

Read More »

97

CSL
2002
Springer

107views Automated Reasoning» more CSL 2002»

Greibach Normal Form in Algebraically Complete Semirings

15 years 6 months ago

Greibach Normal Form in Algebraically Complete Semirings

Download www.brics.dk

Zoltán Ésik, Hans Leiß

claim paper

Read More »

« Prev « First page 77 / 924 Last » Next »