Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
The recent availability of large corpora for training N-gram language models has shown the utility of models of higher order than just trigrams. In this paper, we investigate meth...
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...