Sciweavers

3166 search results - page 54 / 634
» Translation By Structural Correspondences
Sort
View
93
Voted
TIP
2008
108views more  TIP 2008»
15 years 14 days ago
Phase-Shifting for Nonseparable 2-D Haar Wavelets
In their recent paper, Alnasser and Foroosh derive a wavelet-domain (in-band) method for phase-shifting of 2-D "nonseparable" Haar transform coefficients. Their approach ...
Mais Alnasser, Hassan Foroosh
96
Voted
LREC
2010
176views Education» more  LREC 2010»
15 years 2 months ago
Integrating a Rule-based with a Hierarchical Translation System
Recent developments on hybrid systems that combine rule-based machine translation (RBMT) systems with statistical machine translation (SMT) generally neglect the fact that RBMT sy...
Yu Chen, Andreas Eisele
120
Voted
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
15 years 9 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
92
Voted
TCS
2008
15 years 14 days ago
On process rate semantics
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
Luca Cardelli
ACL
2009
14 years 10 months ago
Forest-based Tree Sequence to String Translation Model
This paper proposes a forest-based tree sequence to string translation model for syntaxbased statistical machine translation, which automatically learns tree sequence to string tr...
Hui Zhang, Min Zhang, Haizhou Li, AiTi Aw, Chew Li...