使用认知建模方法和用户认知状态的统计推断评估主动计算的概率方面| IEEE会议出版物| IEEE Xplore