Sciweavers

6799 search results - page 239 / 1360
» The Tao of Modeling Spaces
Sort
View
LICS
2000
IEEE
15 years 6 months ago
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
Alexandre Miquel
ICASSP
2009
IEEE
15 years 5 months ago
Dirichlet process mixture models with multiple modalities
The Dirichlet process can be used as a nonparametric prior for an infinite-dimensional probability mass function on the parameter space of a mixture model. The set of parameters o...
John William Paisley, Lawrence Carin
ENTCS
2011
130views more  ENTCS 2011»
14 years 9 months ago
Bell States and Negative Sentences in the Distributed Model of Meaning
We use Bell states to provide compositional distributed meaning for negative sentences of English. The lexical meaning of each word of the sentence is a context vector obtained wi...
Anne Preller, Mehrnoosh Sadrzadeh
IJCNLP
2005
Springer
15 years 7 months ago
Period Disambiguation with Maxent Model
Abstract. This paper presents our recent work on period disambiguation, the kernel problem in sentence boundary identification, with the maximum entropy (Maxent) model. A number o...
Chunyu Kit, Xiaoyue Liu
ICSM
2000
IEEE
15 years 6 months ago
Information Retrieval Models for Recovering Traceability Links between Code and Documentation
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...