We use cookies to improve your experience with our site.

On Optimizing the Satisfiability (SAT) Problem
HarkMan—A Vocabulary-Independent Keyword Spotter for Spontaneons Chinese Speech
Chinese TrueType Font Support in X Window
The "Bottleneck" Behaviours in Linear Feedforward Neural Network Classifiers and Their Breakthrough
An Inherent Probabilistic Aspect of the Hough Transform
Exploiting the Capabilities of the Interconnection Network on Dawning-1000
Computing the SKT Reliability of Acyclic Directed Networks Using Factoring Method
Multicast Address Management and Connection Control Based on Hierarchical Autonomous Structure
Geometric Primitive Extraction by the Combination of Tabu Search and Subpixel Accuracy
A Formal Approach to Protocol Performance Testing
Current Issue Cover