154 search results - page 15 / 31 » Comparison of Process Algebra Equivalences Using Formats |
81
Voted
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
Parallel imaging methods provide accelerated multiple coil MR image acquisitions via reconstruction of sub-sampled kspace data. Currently, analytic comparison between different re...
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a fully automated variation of the GrabCut technique for segmenting comparatively simple images with little variation in background colour and relatively high contrast ...
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
TASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...