Sciweavers

984 search results - page 11 / 197
» ideas 2010
Sort
View
LPAR
2010
Springer
14 years 7 months ago
Program Logics for Homogeneous Meta-programming
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
Martin Berger, Laurence Tratt
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
14 years 4 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
SIGIR
2010
ACM
15 years 1 months ago
Multilingual PRF: english lends a helping hand
In this paper, we present a novel approach to Pseudo-Relevance Feedback (PRF) called Multilingual PRF (MultiPRF). The key idea is to harness multilinguality. Given a query in a la...
Manoj Kumar Chinnakotla, Karthik Raman, Pushpak Bh...
DLT
2010
14 years 11 months ago
Algorithmic Properties of Millstream Systems
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
Suna Bensch, Henrik Björklund, Frank Drewes
LREC
2010
122views Education» more  LREC 2010»
14 years 11 months ago
Syntactic Testsuites and Textual Entailment Recognition
We focus on textual entailments mediated by syntax and propose a new methodology to evaluate textual entailment recognition systems on such data. The main idea is to generate a sy...
Paul Bedaride, Claire Gardent