3564 search results - page 109 / 713 » Evaluating a Formal Modelling Language |
158
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
We propose a backoff model for phrasebased machine translation that translates unseen word forms in foreign-language text by hierarchical morphological abstractions at the word an...
125
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
135
Voted
ACL
1997
15 years 5 months ago
1997
A new language model for speech recognition inspired by linguistic analysis is presented. The model develops hidden hierarchical structure incrementally and uses it to extract mea...
152
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
135
Voted
ENTCS
2006
15 years 3 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...