A computer program to predict when cardiac catheterization is a cost effective test after treadmill testing | IEEE Conference Publication | IEEE Xplore