In the finite element analysis that deals with large deformation, the process usually produces distorted elements at the later stages of the analysis. These distorted elements lea...
Topology is a fundamental property of shapes in pictures. Since the input for any image analysis algorithm is a digital image, which does not need to have the same topological char...
In this paper we propose a new approach to shape recognition based on the wavelet transform modulus maxima. And apply it to the problem of content-based indexing and retrieval of ...
In this paper, we present a new method for on-line Chinese character recognition that relies on an explicit description of characters structure. Contrary to most of known structur...
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku...