441 search results - page 18 / 89 » A Method for Proving Observational Equivalence |
110
click to vote
ICA
2004
Springer
15 years 7 months ago
2004
Springer
The paper deals with blind source separation of images. The model which is adopted here is a convolutive multi-dimensional one. Recent results about polynomial matrices in several ...
85
Voted
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
112
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
93
Voted
IANDC
2008
15 years 1 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
97
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
A new segmented compressed sampling (CS) method for analog-to-information conversion (AIC) is proposed. An analog signal measured by a number of parallel branches of mixers and int...