Sequential Decision Making Algorithms for Port of Entry Inspection: Overcoming Computational Challenges | IEEE Conference Publication | IEEE Xplore