Symbolic Execution is a widely used technique for program testing and analysis. When a program executes a trace symbolically, it simulates all possible paths. This results in an exponential growth of ...

Dual-tree complex wavelet transform (DTCWT), which is a shift invariant transform with limited redundancy, is an improved version of discrete wavelet transform. Complex quadrature signals are dual ...