焦加麟
- 作品数：3 被引量：40H指数：1
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 人工智能在智能教学系统中的应用被引量：40
- 2003年
- 智能教学系统 (ITS)是人工智能与教育结合的主要形式。本文在总结国际上相关研究成果的基础上 ,结合我们在开发智能多媒体汉德语言教学系统《二十一世纪汉语》的过程中累积的实践经验 ,介绍了ITS的历史、结构和主要技术 ,着重讨论了人工智能技术与方法在其中的应用 ,并指出了当今这个领域上存在的一些问题 ,在文章最后 ,提出了今后研究工作的努力方向。
- 焦加麟徐良贤戴克昌
- 关键词：智能教学系统人工智能计算机辅助教学知识表示
- 一个高效、健壮的SAT程序的研究与开发
- 该文在探讨了SAT算法及其实现技术的基础上,描述了作者为了实现一个高效、健壮的SAT程序而进行的研究和实验工作,主要内容包括:第一,为了能够高效地实现SAT程序并能够在同等条件下比较各种不同的算法和技术,作者在总结前人成...
- 焦加麟
- 关键词：SATDPLL
- 文献传递
- 算法工程的思想、方法与工具——以SAT算法为研究实例
- 2003年
- 1.什么是"算法工程"?
20世纪90年代中期,"算法工程"这个词开始频频出现.A.V.Aho等计算机科学家曾在1996年ACM计算理论研讨会(STOC'96)上呼吁研究者们要重视算法工程的研究和实践[1].
- 焦加麟韩晓峰徐良贤
- 关键词：SAT算法计算机
