Sciweavers

316 search results - page 12 / 64
» Subtyping Union Types
Sort
View
59
Voted
CSR
2006
Springer
15 years 1 months ago
Polarized Subtyping for Sized Types
Andreas Abel
ANLP
2000
139views more  ANLP 2000»
14 years 11 months ago
A Hybrid Approach for Named Entity and Sub-Type Tagging
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
50
Voted
JOT
2002
48views more  JOT 2002»
14 years 9 months ago
The Theory of Classification, Part 4: Object Types and Subtyping
Anthony J. H. Simons
ESOP
2009
Springer
15 years 4 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda