Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
A model is proposed which identifies factors associated with the adoption of discrete event simulation and places them within an explanatory framework. The model proposes four mai...
In this paper we use neural networks to verify the similarity of real astronomical images to predefined reference profiles. We use an innovative technique to encode images that a...
NKRL is a conceptual language which intends to provide a normalised, pragmatic description of the semantic contents (in short, the "meaning") of NL narrative documents. ...