7109 search results - page 5 / 1422 » Process Algebra with Combinators |
3DPH
2009
14 years 7 months ago
2009
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
CAI
2009
Springer
15 years 4 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
CN
1998
14 years 9 months ago
1998
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...
ENTCS
2007
14 years 9 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...