7139 search results - page 281 / 1428 » Language Engineering in Practice |
194
click to vote
CMSB
2008
Springer
15 years 9 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...
126
click to vote
ACL
2008
15 years 8 months ago
2008
Frequency counts from very large corpora, such as the Web 1T dataset, have recently become available for language modeling. Omission of low frequency n-gram counts is a practical ...
206
click to vote
ANSOFT
1998
15 years 7 months ago
1998
Programmes in “Software Engineering” have become a source of contention in many universities. Computer Science departments, many of which have used that phrase to describe ind...
161
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
171
click to vote
APSEC
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...