中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 人机交互技术与智能信息处理实验室  > 会议论文
题名:
intelligent understanding of handwritten geometry theorem proving
作者: Jiang Yingying ; Tian Feng ; Wang Hongan ; Zhang Xiaolong ; Wang Xugang ; Dai Guozhong
会议文集: International Conference on Intelligent User Interfaces, Proceedings IUI
会议名称: 14th ACM International Conference on Intelligent User Interfaces, IUI 2010
会议日期: 40581
出版日期: 2010
会议地点: Hong Kong, China
关键词: Computational geometry ; Graphical user interfaces ; Problem solving
出版者: IUI 2010
出版地: United States
ISBN: 9781610000000
部门归属: (1) Intelligence Engineering Lab., Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China; (3) Pennsylvania State University, United States
主办者: ACM SIGCHI; ACM SIGART
英文摘要: 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.
内容类型: 会议论文
URI标识: http://ir.iscas.ac.cn/handle/311060/8806
Appears in Collections:人机交互技术与智能信息处理实验室_会议论文

Files in This Item:
File Name/ File Size Content Type Version Access License
p119-jiang.pdf(642KB)----限制开放-- 联系获取全文

Recommended Citation:
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.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Jiang Yingying]'s Articles
[Tian Feng]'s Articles
[Wang Hongan]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Jiang Yingying]‘s Articles
[Tian Feng]‘s Articles
[Wang Hongan]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace