226 search results - page 11 / 46 » Types, Subtypes, and ASL |
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
ANLP
2000
13 years 8 months ago
2000
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...
JOT
2002
13 years 7 months ago
2002
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
ESOP
1992
Springer
13 years 11 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...