4586 search results - page 576 / 918 » Computing stable models in parallel |
142
click to vote
COORDINATION
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
150
Voted
PPSN
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we propose a competitive image segmentation algorithm. It is a dynamic evolving optimization method, which we call the population algorithm. The method is inspired f...
127
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper presents a token-based K-mutual exchsion algorithm. The algorithm uses K tokens and a dynamic forest structure for each token. This structure is used to forward token r...
130
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
MASSIVE is a distributed virtual reality system. It provides rich facilities to support user interaction and cooperation via text, audio and graphics media, and interaction is con...
155
click to vote
PARLE
1987
15 years 8 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...