This paper presents an algorithm for proving plane geometry theorems stated by text and
diagram in a complementary way. The problem of proving plane geometry theorems …

For the purpose of applying information technology to the creation of ink style painting, the
algorithm of ink painting rendering based on the deep learning framework and convolutional …

Prewriting is the process of generating and organizing ideas before drafting a document.
Although often overlooked by novice writers and writing tool developers, prewriting is a …

Digital pen features model characteristics of sketches and user behavior, and can be used
for various supervised machine learning (ML) applications, such as multi-stroke sketch …

In this paper, we introduce Speedith which is an interactive diagrammatic theorem prover for
the well-known language of spider diagrams. Speedith provides a way to input spider …

Today, modeling and subsequent digital model representations are essential constituents in
collaborative endeavors on organizational change. Once created, models need to be …

Most engineers and designers prefer to use large drawing boards such as whiteboards or
flip charts for the initial collaborative sketching of a system's models. Large interactive …

Most cognitive assessments, for dementia screening for example, are conducted with a pen
on normal paper. We record these tests with a digital pen as part of a new interactive …

It is a wonderful time to do research in automated software engineering! Everything is
becoming programmable—phones, TVs, tablets, cars, and even watches and glasses …

Euler diagrams are widely used to visualize data items grouped into sets. They can be
extended with graphs to visualize networks of data items. This type of data, which we call …