OFDM symbol detection over time varying channels by using sphere decoding | IEEE Conference Publication | IEEE Xplore