Mining Faster, Not Harder: A New Criterion for Gradual Pattern Mining | IEEE Conference Publication | IEEE Xplore