intelligent understanding of handwritten geometry theorem proving
文献类型：会议论文
| 作者 | Jiang Yingying ; Tian Feng ; Wang Hongan ; Zhang Xiaolong ; Wang Xugang ; Dai Guozhong |
| 出版日期 | 2010 |
| 会议名称 | 14th ACM International Conference on Intelligent User Interfaces, IUI 2010 |
| 会议日期 | 40581 |
| 会议地点 | Hong Kong, China |
| 关键词 | Computational geometry Graphical user interfaces Problem solving |
| 页码 | 119-128 |
| 英文摘要 | Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-and-keyboard interaction, these systems usually require users to draw figures by following strict task structures defined by menus, buttons, and mouse and keyboard actions. Pen-based designs offer a more natural way to develop geometry theorem proofs with hand-drawn figures and scripts. This paper describes a pen-based geometry theorem proving system that can effectively recognize hand-drawn figures and hand-written proof scripts, and accurately establish the correspondence between geometric components and proof steps. Our system provides dynamic and intelligent visual assistance to help users understand the process of proving and allows users to manipulate geometric components and proof scripts based on structures rather than strokes. The results from evaluation study show that our system is well perceived and users have high satisfaction with the accuracy of sketch recognition, the effectiveness of visual hints, and the efficiency of structure-based manipulation. Copyright 2010 ACM. |
| 会议主办者 | ACM SIGCHI; ACM SIGART |
| 会议录 | International Conference on Intelligent User Interfaces, Proceedings IUI
 |
| 会议录出版者 | IUI 2010 |
| 会议录出版地 | United States |
| ISBN号 | 9781610000000 |
| 源URL | [http://124.16.136.157/handle/311060/8806]  |
| 专题 | 软件研究所_人机交互技术与智能信息处理实验室_会议论文 |
| 推荐引用方式 GB/T 7714 | Jiang Yingying,Tian Feng,Wang Hongan,et al. intelligent understanding of handwritten geometry theorem proving[C]. 见:14th ACM International Conference on Intelligent User Interfaces, IUI 2010. Hong Kong, China. 40581. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。