Sciweavers

1357 search results - page 4 / 272
» Compositional analysis for linear systems
Sort
View
CLEAR
2007
Springer
271views Biometrics» more  CLEAR 2007»
14 years 4 months ago
The AIT Multimodal Person Identification System for CLEAR 2007
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...
Andreas Stergiou, Aristodemos Pnevmatikakis, Lazar...
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
14 years 2 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
TSP
2010
13 years 4 months ago
A recursive method for the approximation of LTI systems using subband processing
Using the subband technique, an LTI system can be implemented by the composition of an analysis filterbank, followed by a transfer matrix (subband model) and a synthesis filterbank...
Damián Marelli, Minyue Fu
TWC
2010
13 years 4 months ago
Optimal Linear Non-Regenerative Multi-Hop MIMO Relays with MMSE-DFE Receiver at the Destination
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...
Yue Rong
EMSOFT
2005
Springer
14 years 3 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed