Sciweavers

11324 search results - page 318 / 2265
» Coordination Models and Languages
Sort
View
EMNLP
2010
15 years 4 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
15 years 8 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 8 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 10 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 ...
IJCAI
2001
15 years 8 months ago
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
Phil Kim, Brian C. Williams, Mark Abramson