[Research paper] formalizing interruptible algorithms for human over-the-loop analytics | IEEE Conference Publication | IEEE Xplore