Sciweavers

4743 search results - page 35 / 949
» The PlusCal Algorithm Language
Sort
View
SIGIR
2008
ACM
13 years 9 months ago
Improving relevance feedback in language modeling with score regularization
We demonstrate that regularization can improve feedback in a language modeling framework. Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Relevance Fee...
Fernando D. Diaz
PLANX
2007
13 years 11 months ago
XML Transformation Language Based on Monadic Second Order Logic
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
Kazuhiro Inaba, Haruo Hosoya
ACL
2011
13 years 1 months ago
Terminal-Aware Synchronous Binarization
We present an SCFG binarization algorithm that combines the strengths of early terminal matching on the source language side and early language model integration on the target lan...
Licheng Fang, Tagyoung Chung, Daniel Gildea
KBSE
2010
IEEE
13 years 8 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
LPAR
2010
Springer
13 years 7 months ago
Semiring-Induced Propositional Logic: Definition and Basic Algorithms
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
Javier Larrosa, Albert Oliveras, Enric Rodrí...