Sciweavers

1357 search results - page 42 / 272
» Compositional analysis for linear systems
Sort
View
WWW
2002
ACM
16 years 1 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
VTC
2006
IEEE
15 years 7 months ago
Soft Detection with Linear Precoding for Spatial Multiplexing Systems
— We present a precoded reduced-complexity soft detection (PRCSD) algorithm for spatial multiplexing systems. The linear operations at both transmit and receive sides based on co...
Yong Li, Jaekyun Moon
79
Voted
NOLISP
2007
Springer
15 years 7 months ago
On the Usefulness of Linear and Nonlinear Prediction Residual Signals for Speaker Recognition
This paper compares the identification rates of a speaker recognition system using several parameterizations, with special emphasis on the residual signal obtained from linear and...
Marcos Faúndez-Zanuy
ENTCS
2006
154views more  ENTCS 2006»
15 years 1 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
112
Voted
GLOBECOM
2006
IEEE
15 years 7 months ago
Non-Linear Precoding for OFDM Systems in Spatially-Correlated Frequency-Selective Fading MIMO Channels
— This paper presents non-linear precoding design in closed-loop multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) over spatiallycorrelated,...
Yu Fu, Witold A. Krzymien, Chintha Tellambura