Sciweavers

4101 search results - page 321 / 821
» Differential Power Analysis
Sort
View
324
Voted
WD
2010
15 years 2 months ago
Uplink capacity analysis of OFDMA based cellular networks with reuse-1
Abstract--OFDMA based cellular radio networks aim to operate as close as possible to frequency reuse distance of one, where the whole spectrum would be available in every cell. Mod...
Maciej Mühleisen, Daniel Bültmann, Bernh...
212
Voted
ICASSP
2011
IEEE
14 years 11 months ago
Factor analysis based VTS and JUD noise estimation and compensation
Model based compensation schemes are a powerful approach for noise robust speech recognition. Recently there have been a number of investigations into adaptive training, and estim...
Federico Flego, Mark John Francis Gales
200
Voted
ICASSP
2011
IEEE
14 years 11 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...
186
Voted
ISSRE
2002
IEEE
16 years 13 days ago
Saturation Effects in Testing of Formal Models
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
Tim Menzies, David Owen, Bojan Cukic
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 5 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis