Sciweavers

9443 search results - page 117 / 1889
» Web-centric language models
Sort
View
EMNLP
2010
13 years 8 months 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
14 years 1 days 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
13 years 11 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
14 years 2 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
14 years 2 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...