4460 search results - page 118 / 892 » Resources in process algebra |
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The fundamental problem of our interest is soft MIMO detection for the case of block fading, i.e., when the transmitted codeword spans over several independent channel realization...
150
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The main tools of Mathematical Morphology are a broad class of nonlinear image operators. They can be defined in terms of algebraic set operators or as Partial Differential Equati...
156
click to vote
TGC
2007
Springer
16 years 12 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
161
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
151
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper addresses the problem of establishing collaboration between devices in a home environment, even when no previous knowledge is known or stored on the devices. It focuses...