2171 search results - page 238 / 435 » A Generic Process Algebra |
148
click to vote
TAPSOFT
1995
Springer
15 years 7 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
135
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
133
click to vote
PR
2006
15 years 4 months ago
2006
We present a novel multiscale clustering algorithm inspired by algebraic multigrid techniques. Our method begins with assembling data points according to local similarities. It us...
133
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
171
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Learning good image priors is of utmost importance for the study of vision, computer vision and image processing applications. Learning priors and optimizing over whole images can...