In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
This paper discusses the evaluation of adaptive traffic signal control using TSIS/CORSIM. The paper reviews three adaptive control strategies that have been developed through cont...
In this paper, we investigate the timing acquisition problem for transmitted reference (TR) ultra-wideband systems employing direct-sequence (DS) spreading. We show that a two-leve...
Sandeep R. Aedudodla, Saravanan Vijayakumaran, Tan...
This paper proposes a reweighted least squares algorithm for quadrature amplitude modulation (QAM) detector in multiple-input multiple-output (MIMO) channels. Although the QAM det...
The problem of detecting areas of motion in video sequences and estimating parameters such as speed, direction and dynamics is addressed in many applications of image processing s...