2374 search results - page 45 / 475 » Automatic Generation of Model Translations |
121
click to vote
CAD
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
121
click to vote
JSW
2007
15 years 1 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
105
click to vote
ACL
1998
15 years 3 months ago
1998
Language modeling is to associate a sequence of words with a priori probability, which is a key part of many natural language applications such as speech recognition and statistic...
103
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
114
click to vote
ACL
2008
15 years 3 months ago
2008
This paper presents a translation model that is based on tree sequence alignment, where a tree sequence refers to a single sequence of subtrees that covers a phrase. The model lev...