6829 search results - page 409 / 1366 » Quantitative Generalizations of Languages |
170
click to vote
SIGIR
2009
ACM
16 years 1 months 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...
166
click to vote
ATAL
2007
Springer
16 years 1 months 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...
170
click to vote
CLEF
2007
Springer
16 years 1 months 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...
189
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
195
click to vote
PPDP
2007
Springer
16 years 29 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...