On optimizing the satisfiability (SAT) problem Gu JunGu QianpingDu Dingzhu Regular Paper Pages: 1 - 17
HarkMan—A vocabulary-independent keyword spotter for spontaneous Chinese speech Zheng FangXu MingxingFang Ditang Correspondence Pages: 18 - 26
The “bottleneck” behaviours in linear feedforward neural network classifiers and their breakthrough Huang Deshuang Correspondence Pages: 34 - 43
An inherent probabilistic aspect of the Hough transform Hu ZhanyiYang ChangjiangMa Songde Correspondence Pages: 44 - 48
Exploiting the capabilities of the interconnection network on Dawning-1000 Xiao LiminZhu Mingfa Correspondence Pages: 49 - 55
Computing the SKT reliability of acyclic directed networks using factoring method Kong FanjiaWang Guangxing Correspondence Pages: 56 - 63
Multicast address management and connection control based on hierarchical autonomous structure Wang JianZhang Fuyan Correspondence Pages: 64 - 73
Geometric primitive extraction by the combination of tabu search and subpixel accuracy Jiang Tianzi Notes Pages: 74 - 80