2171 search results - page 66 / 435 » A Generic Process Algebra |
84
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
CORR
2007
Springer
15 years 21 days ago
2007
Springer
We define a class of “algebraic” random matrix channels for which one can generically compute the limiting Shannon transform using numerical techniques and often enumerate th...
107
click to vote
FCT
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
130
click to vote
PDS
1996
15 years 2 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel iterative nonlinear filtering framework, termed multilateral filtering, based on the idea of generic local similarity. A set of local features is computed for e...