We use cookies to improve your experience with our site.

An Interactive Learning Algorithm for Acquisition of Concepts Represented as CFL
Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language
Reduction of Cycle Unification of Type Cpg+r
Completeness of the Accumulation Calculus
Document Analysis by Crosscount Approach
Multiplicative Inhibitory Velocity Detector and Multi-Velocity Motion Detection Neural Network Model
Segmentation of Stick Text Based on Sub Connected Area Analysis
A Type of Triangular Ball Surface and its Properties
Line-Art and its Mathematical Models
A Formal Approach to Protocol Interoperability Testing
A Hopeful CNF-SAT─Algorithm Its High Efficiency, Industrial Application and Limitation
A Topology Designing System for a Computer Network
Current Issue Cover