5205 search results - page 66 / 1041 » Tilings and model theory |
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
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...
JELIA
1994
Springer
14 years 28 days ago
1994
Springer
: 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...
IEPOL
2007
13 years 8 months ago
2007
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...
VISAPP
2010
13 years 6 months ago
2010
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...
IV
2010
IEEE
13 years 7 months ago
2010
IEEE
—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...