A constrained formulation for the receiver operating characteristic (ROC) curve based on probability summation | Synapse