Sciweavers

6018 search results - page 199 / 1204
» Factored Translation Models
Sort
View
EMNLP
2009
15 years 2 months ago
The Feature Subspace Method for SMT System Combination
Recently system combination has been shown to be an effective way to improve translation quality over single machine translation systems. In this paper, we present a simple and ef...
Nan Duan, Mu Li, Tong Xiao, Ming Zhou
DATE
2006
IEEE
117views Hardware» more  DATE 2006»
15 years 10 months ago
Formal verification of systemc designs using a petri-net based representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
Daniel Karlsson, Petru Eles, Zebo Peng
SCP
2011
228views Communications» more  SCP 2011»
14 years 11 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
CAV
2010
Springer
207views Hardware» more  CAV 2010»
15 years 8 months ago
Petruchio: From Dynamic Networks to Nets
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
Roland Meyer, Tim Strazny
IJCNLP
2005
Springer
15 years 10 months ago
Empirical Study of Utilizing Morph-Syntactic Information in SMT
In this paper, we present an empirical study that utilizes morph-syntactical information to improve translation quality. With three kinds of language pairs matched according to mor...
Young-Sook Hwang, Taro Watanabe, Yutaka Sasaki