An interactive learning algorithm for acquisition of concepts represented as CFL
In this paper, an interactive learning algorithm of context-free language is presented. This algorithm is designed especially for system SAQ, which is a system for formal specification acquisition and verification. As the kernel of concept ...
A hopeful CNF-SAT algorithm— Its high efficiency, industrial application and limitation
From the SAT physical model, a physical hypothesis named PHHY is proposed. By PHHY, it is proved that there is a universally efficient algorithm for solving SAT problem. Then, by square packing problem, the authors show that there are interesting ...
Intuitionistic logic as the implement of incremental model construction for natural language
The process of understanding natural language can be viewed as the process of model construction. This paper, employingKripke frame for intuitionistic logic semantics as the implement of model construction for natural language, introduces a method ...
Reduction of cycle unification of type Cpg+r
In this paper a class of cycle unification problems called type Cpg+r is studied, and an intuitive representation method, calledthe position supergraph, is presented to analyze or reduce the cycle problem. A typical case of Cpg+r problems is ...
Completeness of the accumulation calculus
The accumulation calculus (AC for short) is an interval based temporal logic to specify and reason about hybrid real-time systems. This paper presents a formal proof system for AC, and proves that the system is complete relative to that of ...
Document analysis by crosscount approach
In this paper a new feature called crosscount for document analysis is introduced. The feature crosscount is a function of white line segment with its start on the edge of document images. It reflects not only the contour of image, but also the ...
Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model
Motion perception is one of the most important aspects of the biological visual system, from which people get a lot of information of the natural world. In this paper, trying to simulate the neurons in MT (motion area in visual cortex) which ...
Segmentation of stick text based on sub connected area analysis
A new stick text segmentation method based on the sub connected area analysis is introduced in this paper. The foundation of this method is the sub connected area representation of text image that can represent all connected areas in an image ...
A type of triangular ball surface and its properties
A new type of bivariate generalized Ball basis function on a triangle is presented for free-form surface design. Some properties of the basis function are given, then degree elevation, recursive evaluation and some other properties of the ...
Line-art and its mathematical models
In this paper, the authors describe the principles ofStraight Line Strokes illustration, present the mathematical model of the principles, and show how a great number of lines can be implemented as main part of an automated drawing system named...
A formal approach to protocol interoperability testing
Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational ...
A topology designing system for a computer network
In this paper, some problems on the topology design of network are discussed. An exact formula to calculate the delay of a line will be provided. In the design, the key problem is how to find some efficient heuristic algorithms. To solve this ...