13 search results - page 2 / 3 » Compositional Translation of Simulink Models into Synchronou... |
117
Voted
ACL
2008
15 years 2 months ago
2008
We combine the strengths of Bayesian modeling and synchronous grammar in unsupervised learning of basic translation phrase pairs. The structured space of a synchronous grammar is ...
110
Voted
NAACL
2010
14 years 11 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
113
Voted
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
122
Voted
WECWIS
2006
IEEE
15 years 7 months ago
2006
IEEE
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
83
Voted
JLP
2007
15 years 1 months ago
2007
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...