Sciweavers

10 search results - page 1 / 2

» csl 1998

64

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

14 years 10 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

61

CSL
1998
Springer

88views Automated Reasoning» more CSL 1998»

Gold standard datasets for evaluating word sense disambiguation programs

14 years 10 months ago

Gold standard datasets for evaluating word sense disambiguation programs

Download www.kilgarriff.co.uk

Adam Kilgarriff

claim paper

Read More »

69

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 2 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

65

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

14 years 10 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

59

CSL
1998
Springer

88views Automated Reasoning» more CSL 1998»

Assigning phrase breaks from part-of-speech sequences

14 years 10 months ago

Assigning phrase breaks from part-of-speech sequences

Download www.cs.cmu.edu

Paul Taylor, Alan W. Black

claim paper

Read More »

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