3001 search results - page 123 / 601 » Recursive type generativity |
147
click to vote
IVC
2006
15 years 6 months ago
2006
An exact analysis of the numerical errors being generated during the computation of the Zernike moments, by using the well-known `q-recursive' method, is attempted in this pa...
153
click to vote
NAACL
2010
15 years 4 months ago
2010
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
131
click to vote
IICAI
2007
15 years 7 months ago
2007
Abstract. This paper describes a tool for extracting multi-word number expressions, calculating their numerical values, and then generating them into another language, thus transla...
145
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
162
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...