An empirical comparison of pie vs. linear menus
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Digital logic circuit analysis and design
Digital logic circuit analysis and design
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2004 Papers
SketchREAD: a multi-domain sketch recognition engine
Proceedings of the 17th annual ACM symposium on User interface software and technology
Properties of Real-World Digital Logic Diagrams
PLT '07 Proceedings of the First International Workshop on Pen-Based Learning Technologies
Designing a sketch recognition front-end: user perception of interface elements
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation
SG '08 Proceedings of the 9th international symposium on Smart Graphics
MathBrush: A System for Doing Math on Pen-Based Devices
DAS '08 Proceedings of the 2008 The Eighth IAPR International Workshop on Document Analysis Systems
Exploring usability and learnability of mode inferencing in pen/tablet interfaces
Proceedings of the Seventh Sketch-Based Interfaces and Modeling Symposium
Newtons Pen II: an intelligent, sketch-based tutoring system and its sketch processing techniques
Proceedings of the International Symposium on Sketch-Based Interfaces and Modeling
User perceptions of drawing logic diagrams with pen-centric user interfaces
Proceedings of Graphics Interface 2013
CSTutor: A Sketch-Based Tool for Visualizing Data Structures
ACM Transactions on Computing Education (TOCE)
| Hi-index | 0.00 |
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.