ViDeX: A Platform for Personalizing Educational Videos
annotation : from paper books to digital library .