154 search results - page 15 / 31 » Comparison of Process Algebra Equivalences Using Formats |
123
Voted
ICFP
2008
ACM
16 years 2 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...
101
Voted
ISBI
2004
IEEE
16 years 3 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...
120
click to vote
ICIP
2009
IEEE
16 years 3 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 ...
113
Voted
FSTTCS
2004
Springer
15 years 8 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...
119
Voted
TASE
2007
IEEE
15 years 8 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 ...