Title

Beyond "Spatial Ability": Examining The Impact Of Multiple Individual Differences In A Perception By Proxy Framework

Keywords

Boolean algebra; Logic verification; Pen-based user interface; Sketch understanding

Abstract

We present LogicPad, a pen-based application for boolean algebra visualization that lets users manipulate boolean function representations through handwritten symbol and gesture recognition coupled with a drag-and-drop interface. We discuss LogicPad's user interface and the general algorithm used for verifying the equivalence of three different boolean function representations: boolean expressions, truth tables, and logic gate diagrams. We also conducted a short, informal user study evaluating LogicPad's user interface, visualization techniques, and overall performance. Results show that visualizations were generally well-liked and verification results matched user expectations. Copyright © 2012 ACM.

Publication Date

4-26-2012

Publication Title

HRI'12 - Proceedings of the 7th Annual ACM/IEEE International Conference on Human-Robot Interaction

Number of Pages

127-128

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/2157689.2157718

Socpus ID

84860009429 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84860009429

This document is currently not available here.

Share

COinS