828 search results - page 7 / 166 » types 2000 |
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
SIAMJO
2000
13 years 7 months ago
2000
Abstract. The Josephy
CL
2000
Springer
13 years 12 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
13 years 9 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
13 years 9 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...