366 search results - page 35 / 74 » Four equivalent equivalences of reductions |
107
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
82
Voted
BC
2006
15 years 24 days ago
2006
Although conductance-based neural models provide a realistic depiction of neuronal activity, their complexity often limits effective implementation and analysis. Neuronal model red...
100
Voted
ENTCS
2007
15 years 21 days ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
127
Voted
CIARP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. It has been shown that many kernel methods can be equivalently formulated as minimal-enclosing-ball (MEB) problems in certain feature space. Exploiting this reduction eff...
119
click to vote
CORR
2006
Springer
15 years 23 days ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...