Optimizing Post-Editing Strategies in Human-Computer Interaction | Synapse