A continuous-time extension of welch~s lower bound on total squared correlation | IEEE Conference Publication | IEEE Xplore