2206 search results - page 219 / 442 » On the power of coercion abstraction |
151
click to vote
BIRTHDAY
1997
Springer
15 years 10 months ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...
173
click to vote
COSIT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
188
click to vote
CSL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
180
click to vote
DEXA
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper, we consider a multidatabase system which consists of media databases and traditional alphanumeric databases. The semantic relationships which may exist amo...
136
click to vote
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...