Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
We consider a model of daily newspapers’ competition to test the validity of the so called ”theory of the circulation spiral”. According to it, the interaction between the n...
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
—This paper describes the application of Medieval and Renaissance color theory to the computer graphic rendering of molecular models. In particular, Alberti’s and Cennini’s c...