1012 search results - page 127 / 203 » Process Algebra with Backtracking |
FUIN
2010
13 years 7 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Abstract. Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements correspon...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose a mixture of multiple linear models, also known as hybrid linear model, for a sparse representation of an image. This is a generalization of the conventional KarhunenLo...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
The concept of tensor rank, introduced in the twenties, has been popularized at the beginning of the seventies. This has allowed to carry out Factor Analysis on arrays with more t...
FSTTCS
2004
Springer
14 years 3 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...