1788 search results - page 251 / 358 » Model Theory for Process Algebra |
150
click to vote
FCS
2006
15 years 5 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
116
click to vote
JUCS
2010
15 years 2 months ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
178
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
108
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we propose a novel approach termed as dynamic copula time-frequency distribution (DCTFD) for the construction of positive time-frequency distributions (PTFDs). DCTFD...
143
click to vote
NIPS
2008
15 years 5 months ago
2008
Compressive Sensing (CS) combines sampling and compression into a single subNyquist linear measurement process for sparse and compressible signals. In this paper, we extend the th...