Sciweavers

10 search results - page 1 / 2

» csl 1998

157

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 6 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

139

Voted

CSL
1998
Springer

88views Automated Reasoning» more CSL 1998»

Gold standard datasets for evaluating word sense disambiguation programs

15 years 6 months ago

Gold standard datasets for evaluating word sense disambiguation programs

Download www.kilgarriff.co.uk

Adam Kilgarriff

claim paper

Read More »

143

Voted

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 11 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

150

Voted

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

15 years 6 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

139

Voted

CSL
1998
Springer

88views Automated Reasoning» more CSL 1998»

Assigning phrase breaks from part-of-speech sequences

15 years 6 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 »