skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Intelligent understanding of handwritten geometry theorem proving

Jiang, Yingying ; Tian, Feng ; Wang, Hongan ; Zhang, Xiaolong ; Wang, Xugang ; Dai, Guozhong

Proceedings of the 15th international conference on intelligent user interfaces, 07 February 2010, pp.119-128

ISBN: 9781605585154 ; ISBN: 1605585157 ; DOI: 10.1145/1719970.1719988

Toàn văn không sẵn có

Trích dẫn Trích dẫn bởi
  • Nhan đề:
    Intelligent understanding of handwritten geometry theorem proving
  • Tác giả: Jiang, Yingying ; Tian, Feng ; Wang, Hongan ; Zhang, Xiaolong ; Wang, Xugang ; Dai, Guozhong
  • Chủ đề: Geometry Theorem Proving ; Hand-Drawn Figures ; Hand-Written Proof Scripts ; Recognition ; Structure Based Manipulation
  • Là 1 phần của: Proceedings of the 15th international conference on intelligent user interfaces, 07 February 2010, pp.119-128
  • Mô tả: 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.
  • Ngôn ngữ: English
  • Số nhận dạng: ISBN: 9781605585154 ; ISBN: 1605585157 ; DOI: 10.1145/1719970.1719988

Đang tìm Cơ sở dữ liệu bên ngoài...