[Research paper] formalizing interruptible algorithms for human over-the-loop analytics.

Austin Graham Yan Liang Le Gruenwald Christan Grant

Published in: IEEE BigData (2017)

Keyphrases

computationally expensive
data mining
computationally efficient
significant improvement
theoretical analysis
optimization problems
human interaction
real time
human users
human subjects
recently developed
worst case
lower bound
data structure
image sequences
image processing
artificial intelligence