When to Pull Starting Pitchers in Major League Baseball? A Data Mining Approach | IEEE Conference Publication | IEEE Xplore