The real time process algebra of Baeten and Bergstra [Formal Aspects of Computing, 3, 142-188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to t...
详细信息
We study a non interleaving subalgebra of a reduct of a model of ACP. The model discussed uses step bisimulation semantics. We can derive identities in this model with the help of the (interleaving) ACP calculus with ...
详细信息
Automatic evaluation of drawing-to-CAD conversion performance is addressed. The generating model of artificial images in the domain of cadastral maps was built. The proposed model was close to the authentic drawings o...
详细信息
Automatic evaluation of drawing-to-CAD conversion performance is addressed. The generating model of artificial images in the domain of cadastral maps was built. The proposed model was close to the authentic drawings on the level of graphic primitives and on the level of map understanding. The shape of the parcel was characterized by the number of corners, line lengths and respective angles. The model of a house consists of 12 random variables, while the 13th variable describes the location of the house in a parcel. The parameters of probability distributions have been estimated from the sample of 115 parcels and 127 houses. The goodness-of-fit for all distributions was very high.< >
作者：
KIM, DHCHOE, KMProgramming Languages Laboratory
Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during executio...
详细信息
An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during execution of clauses. The algorithm is considered to be efficient in the sense that it issues fewer number of cancel messages and avoids unnecessary resetting operations. Furthermore, it performs independent redoing and resetting more concurrently than other related works.
Martin-Löf's type theory contains a logic, a specification language and a programming language, so it is a tool with different uses. Although it is traditionally used as an integrated programming logic, it ma...
详细信息
A method is proposed to search for an identifier in a functional program library by using its Hindley-Milner type as a key. This can be seen as an approximation of using the specification as a key. Functions that only...
We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACPp is a generalisation of ACP. This implies that some of ...
详细信息
We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semant...
暂无评论