Sciweavers

9443 search results - page 117 / 1889
» Web-centric language models
Sort
View
EMNLP
2010
15 years 27 days ago
Discriminative Word Alignment with a Function Word Reordering Model
We address the modeling, parameter estimation and search challenges that arise from the
Hendra Setiawan, Christopher Dyer, Philip Resnik
CAISE
2008
Springer
15 years 4 months ago
AutoModelGen: A Generic Data Level Implementation of ModelGen
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
Andrew Smith, Peter McBrien
DAGSTUHL
2004
15 years 4 months ago
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...
Jean-Marie Favre
FASE
2004
Springer
15 years 6 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
ICALP
1997
Springer
15 years 7 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...