Sciweavers

984 search results - page 11 / 197
» ideas 2010
Sort
View
99
Voted
LPAR
2010
Springer
14 years 10 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 7 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
87
Voted
SIGIR
2010
ACM
15 years 4 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...
113
Voted
DLT
2010
15 years 2 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»
15 years 2 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