We present an extension to Sierpinski’s curve that is useful for generating a large variety of highly symmetric curves. We propose a scheme for automated construction of these curves, capable of producing millions of curves. Because of their high-degree of symmetry, these curves can be utilized in various graphics design applications. In particular, we briefly describe a web-based system for au...

We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process of solving-computing-proving. The whole process is realized by a computational origami system being developed by us. During the computational origami construction, geometric constraints in symbolic and numeric representation are ge...

Most successful Bayesian network (BN) ap­ plications to date have been built through knowledge elicitation from experts. This is difficult and time consuming, which has lead to recent interest in automated methods for learning BNs from data. We present a case study in the construction of a BN in an intel­ ligent tutoring application, specifically dec­ imal misconceptions. We describe the BN con...

This paper deals with the optimization of reinforced concrete (RC) structures under earthquake loads by introducing a simple methodology. One of the most important problems in the design of RC structures is the existing of various design scenarios that all of them satisfy design constraints. Despite of the steel structures, a large number of design candidates due to a large number of design var...

In recent years several methods have been proposed for constructing statistical shape models to aid image analysis tasks by providing a-priori knowledge. Examples include principal component analysis (PCA) of manually or semi-automatically placed corresponding landmarks on the learning shapes (point distribution models, PDM), which is time consuming and subjective. However, automatically establ...

Society is becoming more automated with robots beginning to perform most tasks in factories and starting to help out in home and office environments. One of the most important functions of robots is the ability to manipulate objects in their environment. Because the space of possible robot designs, sensor modalities, and target tasks is huge, researchers end up having to manually create many mo...

This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation methods. We also show how to use these techniques to: parametric mechanical CAD, linkage design, computer vision, dynamic geometry, and CAI (computer aided instruction). The methods and the applications reviewed in this pa...

Recent years have seen significant advances on the creation of large-scale knowledge bases (KBs). Extracting knowledge from Web pages, and integrating it into a coherent KB is a task that spans the areas of natural language processing, information extraction, information integration, databases, search and machine learning. Some of the latest developments in the field were presented at the AKBC-...