Virtual Agents in Internet-Based Cognitive Behavioral Therapy: Enhancing Engagement and Alleviating Depression | IEEE Conference Publication | IEEE Xplore