2730 search results - page 341 / 546 » An Abstract Model for Process Mediation |
155
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Phase correlation techniques have been used in image registration to estimate image displacements. These techniques have been also used to estimate optical ow by applying...
216
click to vote
DICS
2006
15 years 9 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
159
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
157
click to vote
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...