1357 search results - page 42 / 272 » Compositional analysis for linear systems |
WWW
2002
ACM
14 years 10 months ago
2002
ACM
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...
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
— 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...
NOLISP
2007
Springer
14 years 4 months ago
2007
Springer
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...
ENTCS
2006
13 years 10 months ago
2006
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 ...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper presents non-linear precoding design in closed-loop multiple-input multiple-output (MIMO) orthogonal frequency-division multiplexing (OFDM) over spatiallycorrelated,...