Sciweavers

10 search results - page 1 / 2

» csl 1998

9

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

13 years 4 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

8

CSL
1998
Springer

88views Automated Reasoning» more CSL 1998»

Gold standard datasets for evaluating word sense disambiguation programs

13 years 4 months ago

Gold standard datasets for evaluating word sense disambiguation programs

Download www.kilgarriff.co.uk

Adam Kilgarriff

claim paper

Read More »

10

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

13 years 8 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

9

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

13 years 4 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

7

CSL
1998
Springer

88views Automated Reasoning» more CSL 1998»

Assigning phrase breaks from part-of-speech sequences

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