Sciweavers

9455 search results - page 284 / 1891
» The Modelling Language Zinc
Sort
View
ACL
2007
15 years 8 months ago
Pivot Language Approach for Phrase-Based Statistical Machine Translation
This paper proposes a novel method for phrase-based statistical machine translation by using pivot language. To conduct translation between languages Lf and Le with a small biling...
Hua Wu, Haifeng Wang
IEE
2008
116views more  IEE 2008»
15 years 7 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
FMSD
2007
101views more  FMSD 2007»
15 years 7 months ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
HICSS
2002
IEEE
71views Biometrics» more  HICSS 2002»
16 years 6 days ago
Source Code Generator Based on a Proprietary Specification Language
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
Kresimir Fertalj, Damir Kalpic, Vedran Mornar
POPL
1999
ACM
15 years 11 months ago
Type-Safe Linking and Modular Assembly Language
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
Neal Glew, J. Gregory Morrisett