Sciweavers

1638 search results - page 52 / 328
» Properties of input-consuming derivations
Sort
View
TSP
2010
14 years 4 months ago
Estimation of ambiguity functions with limited spread
This paper proposes a new estimation procedure for the ambiguity function of a non-stationary time series. The stochastic properties of the empirical ambiguity function calculated...
Heidi Hindberg, Sofia C. Olhede
ICASSP
2011
IEEE
14 years 1 months ago
Analysis of adaptive feedback and echo cancelation algorithms in a general multiple-microphone and single-loudspeaker system
In this paper, we analyze a general multiple-microphone and singleloudspeaker system, where an adaptive algorithm is used to cancel acoustic feedback/echo and a beamformer process...
Meng Guo, Thomas Bo Elmedyb, Søren Holdt Je...
ICASSP
2011
IEEE
14 years 1 months ago
Performance analysis of optimal beamforming in MIMO dual-hop amplify-and-forward systems
This paper presents an analytical investigation on the performance of optimal beamforming scheme in multiple-input multiple-output dual-hop amplify-and-forward systems. We first ...
Caijun Zhong, Tharmalingam Ratnarajah, Shi Jin, Ma...
CSFW
2005
IEEE
15 years 3 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 2 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan