Sciweavers

3371 search results - page 220 / 675
» Using parsimonious language models on web data
Sort
View
117
Voted
COLING
2010
14 years 11 months ago
Local lexical adaptation in Machine Translation through triangulation: SMT helping SMT
We present a framework where auxiliary MT systems are used to provide lexical predictions to a main SMT system. In this work, predictions are obtained by means of pivoting via aux...
Josep Maria Crego, Aurélien Max, Fran&ccedi...
JAR
2008
89views more  JAR 2008»
15 years 4 months ago
An Extensible Encoding of Object-oriented Data Models in hol
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
Achim D. Brucker, Burkhart Wolff
152
Voted
CIDR
2009
157views Algorithms» more  CIDR 2009»
15 years 5 months ago
SCADS: Scale-Independent Storage for Social Computing Applications
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on...
Michael Armbrust, Armando Fox, David A. Patterson,...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 11 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
MT
2007
100views more  MT 2007»
15 years 4 months ago
Semi-supervised model adaptation for statistical machine translation
Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in th...
Nicola Ueffing, Gholamreza Haffari, Anoop Sarkar