4985 search results - page 158 / 997 » Observation of String-Rewriting Systems |
118
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
112
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
We propose a novel algorithm for sparse system identification in the frequency domain. Key to our result is the observation that the Fourier transform of the sparse impulse respo...
106
click to vote
APIN
2006
15 years 3 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
119
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...
140
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...