Sciweavers

316 search results - page 12 / 64
» Subtyping Union Types
Sort
View
98
Voted
FSTTCS
2000
Springer
15 years 6 months ago
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Jan-Georg Smaus, François Fages, Pierre Der...
ANLP
2000
139views more  ANLP 2000»
15 years 3 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
156
Voted
ESOP
2009
Springer
15 years 9 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