9455 search results - page 59 / 1891 » The Modelling Language Zinc |
ENTCS
2010
14 years 7 months ago
2010
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
EMNLP
2009
14 years 7 months ago
2009
Randomised techniques allow very big language models to be represented succinctly. However, being batch-based they are unsuitable for modelling an unbounded stream of language whi...
TASLP
2010
14 years 4 months ago
2010
Traditional n-gram language models are widely used in state-of-the-art large vocabulary speech recognition systems. This simple model suffers from some limitations, such as overfi...
FCT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...