Sciweavers

1915 search results - page 39 / 383
» A language for functional interpretation of model based simu...
Sort
View
CIKM
2001
Springer
14 years 1 months ago
Model-based Feedback in the Language Modeling Approach to Information Retrieval
The language modeling approach to retrieval has been shown to perform well empirically. One advantage of this new approach is its statistical foundations. However, feedback, as on...
ChengXiang Zhai, John D. Lafferty
ENTCS
2006
146views more  ENTCS 2006»
13 years 9 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
HCI
2007
13 years 10 months ago
Non-commercial Object-Base Scene Description
This paper investigates methods of describing two-dimensional and three-dimensional scenes using eXtensible Mark-up Language (XML). It also investigates the initial development of ...
Stephen R. Gulliver, Gheorghita Ghinea, K. Kaur
TLCA
2005
Springer
14 years 2 months ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
SAIG
2000
Springer
14 years 21 days ago
Compiling Embedded Languages
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
Conal Elliott, Sigbjorn Finne, Oege de Moor