477 search results - page 32 / 96 » Concurrent Pattern Calculus |
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
SNPD
2003
13 years 9 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
STOC
2001
ACM
14 years 8 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
JLP
2010
13 years 2 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
MSS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper describes a design that addresses limitations inherent in the initial implementation of the Archive for the Earth Observing Systems (EOS). The design consists of two el...