1532 search results - page 245 / 307 » An Algebraic Process Calculus |
IV
1999
IEEE
15 years 2 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
SIBGRAPI
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
PVM
1999
Springer
15 years 2 months ago
1999
Springer
The problem of solving sparse Systems of Linear Algebraic Equations (SLAE) by parallel Monte Carlo numerical methods is considered. The almost optimal Monte Carlo algorithms are pr...
112
click to vote
FOSSACS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
ICALP
1998
Springer
15 years 2 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...