35,528 Result(s)
-
Chapter and Conference Paper
Automatic Recognition of Low Resolution Tactile Sensing Data Using Rapid Transformation
A pattern is the description of an object that is sensed by appropriate hardware to form a useful data set, which in turn can be processed by a computer. In this paper, we concentrate on a class of patterns ar...
-
Article
A unifying approach for a class of problems in the computational geometry of polygons
A generalized problem is defined in terms of functions on sets and illustrated in terms of the computational geometry of simple planar polygons. Although its apparent time complexity is O(n 2), th...
-
Chapter and Conference Paper
ECR: An equality conditional resolution proof procedure
This paper presents an equality conditional resolution proof procedure, ECR, that incorporates a user's knowledge concerning the different roles of input equations in a proof. The input equations are separated...
-
Chapter
A Fast Serial and Parallel Thinning Algorithm
A fast serial and parallel algorithm for thinning digital patterns is presented. The processing speed is faster than the algorithms in the literature [3],[4],[9],[12] in that it reads pixels along the edge of ...
-
Chapter
Semi-Lattice Isomorphism of the Extensions of Possibility Measure and the Solutions of Fuzzy Relation Equation
The extensions of possibility measure may be obtained by solving a certain fuzzy relation equation, and the semi-lattice formed by all extensions of possibility measure is isomorphic to the semi-lattice formed...
-
Chapter and Conference Paper
SHD-prover at university of texas at austin
-
Article
ISOETRP clustering algorithm and its application to tree classifier design
A new clustering algorithm ISOETRP has been developed. Several new objectives have been introduced to make ISOETRP particularly suitable to hierarchical pattern classification. These objectives are: a) minimiz...
-
Article
A high resolution Chinese character generator
Font storage requirement is a crucial problem in develo** Chinese typesetting system. A unique data compression technique is adopted in the system. The representation of regular strokes and irregular strokes...
-
Article
An effective test generation algorithm for combinational circuits
In this paper, an analysis of backtrack behavior in PODEM (the test generation algorithm for combinational circuits presented by P. Goel) is given. It is pointed out that there are still many unnecessary backt...
-
Chapter and Conference Paper
Some recent advances on the possibility measure theory
-
Chapter
Characteristics of QP-C and Reconstitution of the QH2-CYT C Reductase
Although the essential role of Q in electron transport has been generally accepted as respiratory or redox (electron or hydrogen) carrier (1–3), the reaction mechanism and the sequence of the reaction in the r...
-
Chapter
Iron Cluster Sites of Cardiac Ip-Subunit of Succinate Dehydrogenase
Comparison of the amino acid sequence worked out for the Ip subunit of succinate dehydrogenase from cardiac mitochondria with that of microbial enzyme and funarate dehydrogenase as well as ferredoxins suggests...
-
Article
Some modifications of the parallel Halley iteration method and their convergence
In this paper we derive five kinds of algorithms for simultaneously finding the zeros of a complex polynomial. The convergence and the convergence rate with higher order are obtained. The algorithms are numeri...
-
Article
Hierarchical deduction
This paper describes an hierarchical deduction proof procedure. This procedure proves a theorem by searching for a proof acceptable to an hierarchical deduction structire; those derivations which are irrelevan...
-
Article
Design of array processor systems
A new type of high-performance array processor system is presented in this paper. Unlike the conventional host-peripheral array processor systems, this system is designed with a functionally distributed approa...
-
Article
Automatic extraction of words from Chinese textual data
In addition to Chinese character I/O, one of the most important issues for Chinese information processing is automatic extraction of words from textual data. Having discussed the characteristics of Chinese wor...
-
Article
Case studies of Z-module reasoning: Proving benchmark theorems from ring theory
A new method, called Z-module reasoning, was formulated for proving and discovering theorems from ring theory. In a case study, the ZMR system designed to implement this method was used to prove the benchmark x 3
-
Chapter and Conference Paper
Signal Processing of Ultrasonic Backscattered Echoes for Evaluating the Microstructure of Materials — a Review
The microstructure evaluation of materials using ultrasonic backscattered echoes has significant practical implications. Ultrasonic backscattered grain echoes are random signals which bear information related ...
-
Chapter and Conference Paper
Robot Selection Through Fuzzy Set Optimization
Robots have made a significant impact in today’s industry. Accompanied by the growing demand of industrial robots, the number of robot makers and suppliers is also increasing. However, the growing trend of rob...
-
Chapter
The Knowledge-Based Off-Site Emergency Response System for a Nuclear Power Plant
A knowledge-based expert system for a nuclear power plant off-site emergency response system is described. The system incorporates the knowledge about the nuclear power plant behaviors, site environment and si...