8706 search results - page 567 / 1742 » Learning Subjective Language |
143
click to vote
HASKELL
2009
ACM
16 years 23 days ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
145
click to vote
SIGIR
2009
ACM
16 years 23 days ago
2009
ACM
Cross Language Information Retrieval (CLIR) between languages of the same origin is an interesting topic of research. The similarity of the writing systems used for these language...
148
click to vote
ATAL
2007
Springer
16 years 13 days ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfa...
156
click to vote
CLEF
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents the experiments carried out at Jadavpur University as part of participation in the CLEF 2007 ad-hoc bilingual task. This is our first participation in the CLEF...
175
click to vote
PPDP
2007
Springer
16 years 11 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...