Sciweavers

596 search results - page 13 / 120

» Subtyping Recursive Types

94

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 6 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

77

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

15 years 6 months ago

Polarized Subtyping for Sized Types

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

98

Voted

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 6 months ago

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

118

ANLP
2000

139views more ANLP 2000»

A Hybrid Approach for Named Entity and Sub-Type Tagging

15 years 3 months ago

A Hybrid Approach for Named Entity and Sub-Type Tagging

Download acl.ldc.upenn.edu

This paper presents a hybrid approach for named entity (NE) tagging which combines Maximum Entropy Model (MaxEnt), Hidden Markov Model (HMM) and handcrafted grammatical rules. Eac...

Rohini K. Srihari

claim paper

Read More »

68

JOT
2002

48views more JOT 2002»

The Theory of Classification, Part 4: Object Types and Subtyping

15 years 2 months ago

The Theory of Classification, Part 4: Object Types and Subtyping

Download www.jot.fm

Anthony J. H. Simons

claim paper

Read More »

« Prev « First page 13 / 120 Last » Next »