Sciweavers

27119 search results - page 401 / 5424
» Languages
Sort
View
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 7 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 6 months ago
Foundations of Modern Language Resource Archives
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
Peter Wittenburg, Daan Broeder, Wolfgang Klein, St...
IANDC
2006
78views more  IANDC 2006»
15 years 6 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
ITA
2008
107views Communications» more  ITA 2008»
15 years 6 months ago
On Varieties of Literally Idempotent Languages
A language L A is literally idempotent in case that ua2 v L if and only if uav L, for each u, v A , a A. Varieties of literally idempotent languages result naturally by taking...
Ondrej Klíma, Libor Polák
JFP
2006
91views more  JFP 2006»
15 years 6 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary