Sciweavers

596 search results - page 13 / 120

» Subtyping Recursive Types

132

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 10 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

114

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

15 years 10 months ago

Polarized Subtyping for Sized Types

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

139

Voted

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

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

167

Voted

ANLP
2000

139views more ANLP 2000»

A Hybrid Approach for Named Entity and Sub-Type Tagging

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

101

JOT
2002

48views more JOT 2002»

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

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