Optimizing carrier smoothing parameters considering a cycle slip probabilistic model | IEEE Conference Publication | IEEE Xplore