Toward Theoretical Techniques for Measuring the Use of Human Effort in Visual Analytic Systems | IEEE Journals & Magazine | IEEE Xplore