246 search results - page 2 / 50 » Compactly generated domain theory |
104
Voted
MFCS
1993
Springer
15 years 6 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
133
Voted
ENTCS
2006
15 years 2 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
115
Voted
INLG
2010
Springer
15 years 19 days ago
2010
Springer
The problem of Named Entity Generation is expressed as a conditional probability model over a structured domain. By defining a factor-graph model over the mentions of a text, we o...
107
Voted
SIGDIAL
2010
15 years 18 days ago
2010
In this paper we present a reference model based on Reference Domain Theory that can work both in interpretation and generation. We introduce a formalization of key concepts of RD...
120
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...