Computing card probabilities in Texas Hold'em | IEEE Conference Publication | IEEE Xplore