Sciweavers

44 search results - page 1 / 9

» csl 2004

11

CSL
2004
Springer

101views Automated Reasoning» more CSL 2004»

Intuitionistic LTL and a New Characterization of Safety and Liveness

13 years 10 months ago

Intuitionistic LTL and a New Characterization of Safety and Liveness

Download homepages.inf.ed.ac.uk

Patrick Maier

claim paper

Read More »

7

CSL
2004
Springer

95views Automated Reasoning» more CSL 2004»

Proving Abstract Non-interference

13 years 10 months ago

Proving Abstract Non-interference

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

9

CSL
2004
Springer

98views Automated Reasoning» more CSL 2004»

On Proof Nets for Multiplicative Linear Logic with Units

13 years 10 months ago

On Proof Nets for Multiplicative Linear Logic with Units

Download www.loria.fr

Lutz Straßburger, François Lamarche

claim paper

Read More »

7

CSL
2004
Springer

92views Automated Reasoning» more CSL 2004»

Introduction to the special issue on word sense disambiguation

13 years 4 months ago

Introduction to the special issue on word sense disambiguation

Download www.nlp.org.cn

Judita Preiss, Mark Stevenson

claim paper

Read More »

7

CSL
2004
Springer

94views Automated Reasoning» more CSL 2004»

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

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

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