Sciweavers

3658 search results - page 370 / 732
» Founding properties on measurement
Sort
View
TIT
2010
140views Education» more  TIT 2010»
15 years 1 months ago
On the analytic wavelet transform
An exact and general expression for the analytic wavelet transform of a real-valued signal is constructed, resolving the time-dependent effects of non-negligible amplitude and fre...
Jonathan M. Lilly, Sofia C. Olhede
TSMC
2010
15 years 1 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou
TSP
2010
15 years 1 months ago
A nondata-aided SNR estimation technique for multilevel modulations exploiting signal cyclostationarity
Signal-to-noise ratio (SNR) estimators of linear modulation schemes usually operate at one sample per symbol at the matched filter output. In this paper we propose a new method for...
Jaume Riba, Javier Villares, Gregori Vázque...
ICASSP
2011
IEEE
14 years 10 months ago
A novel analytical approach to orthogonal bases extraction from AM-FM signals
This paper presents a new method for extracting orthogonal bases from AM-FM signals. Since AM-FM signals are non-stationary, appropriate basis functions are sought provided that i...
Mohammadali Sebghati, Hamidreza Amindavar
FASE
2011
Springer
14 years 10 months ago
Theoretical Aspects of Compositional Symbolic Execution
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
Dries Vanoverberghe, Frank Piessens