942 search results - page 148 / 189 » Process Algebraic Non-product-forms |
CSFW
2003
IEEE
14 years 3 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
ICALP
2003
Springer
14 years 3 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
ISSAC
2001
Springer
14 years 2 months ago
2001
Springer
The degree of a rational map measures how often the map covers the image variety. In particular, when the rational map is a parametrization, the degree measures how often the para...
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...