942 search results - page 81 / 189 » Process Algebraic Non-product-forms |
CONCURRENCY
2006
13 years 10 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Dimensionality reduction (DR) is a major issue to improve the efficiency of the classifiers in Hyperspectral images (HSI). Recently, the independent component analysis (ICA) app...
SCP
2000
13 years 10 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
CALCO
2005
Springer
14 years 3 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
IFL
2003
Springer
14 years 3 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...