Sciweavers

6829 search results - page 1224 / 1366
» Quantitative Generalizations of Languages
Sort
View
121
Voted
FOIKS
2008
Springer
15 years 5 months ago
Visibly Pushdown Transducers for Approximate Validation of Streaming XML
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
Alex Thomo, Srinivasan Venkatesh, Ying Ying Ye
138
Voted
LREC
2008
155views Education» more  LREC 2008»
15 years 5 months ago
Using Reordering in Statistical Machine Translation based on Alignment Block Classification
Statistical Machine Translation (SMT) is based on alignment models which learn from bilingual corpora the word correspondences between source and target language. These models are...
Marta R. Costa-Jussà, José A. R. Fon...
ADCS
2004
15 years 5 months ago
On the Effectiveness of Relevance Profiling
Relevance profiling is a general process for withindocument retrieval. Given a query, a profile of retrieval status values is computed by sliding a fixed sized window across a doc...
David J. Harper, David Lee
120
Voted
DAGSTUHL
2006
15 years 5 months ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga
148
Voted
BDA
2003
15 years 4 months ago
Evaluating XQuery in a full-XML mediation architecture
: XML has emerged as the leading language for representing and exchanging data not only on the Web, but also in general in the enterprise. XQuery is emerging as the standard query ...
Tuyet-Tram Dang-Ngoc, Georges Gardarin
« Prev « First page 1224 / 1366 Last » Next »