154 search results - page 19 / 31 » Comparison of Process Algebra Equivalences Using Formats |
ENTCS
2007
14 years 9 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
PR
2006
14 years 9 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...
111
click to vote
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Multihypothesis motion compensation is extended into the transform domain by using a redundant wavelet transform to produce multiple predictions that are diverse in transform phas...
CALCO
2007
Springer
15 years 3 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
83
Voted
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...