Sciweavers

3680 search results - page 211 / 736
» cases 2010
Sort
View
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 4 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 4 months ago
Evaluating Modelling Approaches for Medical Image Annotations
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
Jasmin Opitz, Bijan Parsia, Ulrike Sattler
CDC
2010
IEEE
133views Control Systems» more  CDC 2010»
15 years 1 months ago
Estimating state-space models in innovations form using the expectation maximisation algorithm
The expectation maximisation (EM) algorithm has proven to be effective for a range of identification problems. Unfortunately, the way in which the EM algorithm has previously been ...
Adrian Wills, Thomas B. Schön, Brett Ninness
ICASSP
2010
IEEE
15 years 1 months ago
Multichannel-compressive estimation of doubly selective channels in MIMO-OFDM systems: Exploiting and enhancing joint sparsity
We propose a compressive estimator of doubly selective channels within pulse-shaping multicarrier MIMO systems (including MIMOOFDM as a special case). The use of multichannel comp...
Daniel Eiwen, Georg Tauböck, Franz Hlawatsch,...
MOC
2010
15 years 1 months ago
Choosing the correct elliptic curve in the CM method
We give an elementary way to distinguish between the twists of an ordinary elliptic curve E over Fp in order to identify the one with p+1-2U points, when p = U2 + dV 2 with 2U, 2V ...
Karl Rubin, Alice Silverberg