1195 search results - page 52 / 239 » Modeling an Algebraic Stepper |
185
click to vote
DEON
2010
Springer
15 years 6 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
144
click to vote
ENTCS
2008
15 years 6 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
173
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
198
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...