828 search results - page 7 / 166 » types 2000 |
TYPES
2000
Springer
15 years 1 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
SIAMJO
2000
14 years 9 months ago
2000
Abstract. The Josephy
CL
2000
Springer
15 years 2 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
ANLP
2000
14 years 11 months ago
2000
This work is in the context of TransType, a system that observes its user as he or she types a translation and repeatedly suggests completions for the text already entered. The us...
ANLP
2000
14 years 11 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...