In this way, we automatically gather labels from keystrokes representing pause durations.
we use the following discretization, i.e., a label for a token is calculated by:  Table 1: Example keystroke log for user 33 (including typo).