- Wenqi Huang, Wei Li:
A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation. J. Comput. Sci. Technol. 13(1): 9-12 (1998) - G. Huet:
A crash course in λ-calculus. J. Comput. Sci. Technol. 13(6): 546 (1998) - Zhiqiang Lao, Yunhe Pan:
A knowledge representation model for video-based animation. J. Comput. Sci. Technol. 13(3): 228-237 (1998) - Bin Li, Xundong Liang, Shenquan Liu:
A surface rendering approach in 3D rectilinear datafield. J. Comput. Sci. Technol. 13(3): 220-227 (1998) - Xiaofeng Li, Biao Shou, Shirong Zheng:
Research on the optimal parallel algorithms of broadcast-class problems. J. Comput. Sci. Technol. 13(5): 455-463 (1998) - Wei Li, Qiaolin Yang:
Functional-level Fault Simulation with concurrent and parallel mechanisms using object-oriented VLSI model. J. Comput. Sci. Technol. 13(2): 147-160 (1998) - Zuoquan Lin:
Tableau systems for paraconsistency and minimal inconsistency. J. Comput. Sci. Technol. 13(2): 174-188 (1998) - Hong Lin, Guoliang Chen:
Program construction by verifying specification. J. Comput. Sci. Technol. 13(6): 597-607 (1998) - Xueyin Lin, Xiangrong Chen, Zhigang Zhu
, Dingji Shi:
Range information propagation transform. J. Comput. Sci. Technol. 13(5): 438-447 (1998) - Weifeng Lu, Yuping Zhang:
Experimental study on strategy of combining SAT algorithms. J. Comput. Sci. Technol. 13(6): 608-614 (1998) - Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi:
Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13(6): 588-596 (1998) - Jiyong Ma, Wen Gao:
The supervised learning Gaussian mixture model. J. Comput. Sci. Technol. 13(5): 471-474 (1998) - Feng Ma, Shaowei Xia:
A multiscale approach to automatic medical image segmentation using self-organizing map. J. Comput. Sci. Technol. 13(5): 402-409 (1998) - Xiaofeng Meng, Kam-Fai Wong, Suen Man Yip, Vincent Y. Lum, Shan Wang:
The processing and improvement of multi-statement queries in Chiql. J. Comput. Sci. Technol. 13(2): 161-173 (1998) - Yidong Shen:
Extracting schema from an OEM database. J. Comput. Sci. Technol. 13(4): 289-299 (1998) - Enshao Shen:
Some notes on graph automata, tiling systems and partition logic. J. Comput. Sci. Technol. 13(6): 483-489 (1998) - Jun Song, Guanqun Gu:
Modeling distributed multimedia synchronization with DSPN. J. Comput. Sci. Technol. 13(5): 448-454 (1998) - Colin Stirling:
Playing games and proving properties of concurrent systems. J. Comput. Sci. Technol. 13(6): 482 (1998) - Xin Tong, Zesheng Tang:
Hardware assisted fast volume rendering with boundary enhancement. J. Comput. Sci. Technol. 13(5): 393-401 (1998) - Shitong Wang:
Normalized exponential neural networks. J. Comput. Sci. Technol. 13(4): 375-383 (1998) - Zhenyu Wang:
ρ Graph: Rendezvous ordering graph for Ada concurrent programs. J. Comput. Sci. Technol. 13(6): 615-622 (1998) - Kewen Wang, Huowang Chen, Quanyuan Wu:
The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13(3): 193-201 (1998) - Haiqin Wang, Ruwei Dai:
Document analysis by crosscount approach. J. Comput. Sci. Technol. 13(1): 32-40 (1998) - Jue Wang, Duoqian Miao:
Analysis on attribute reduction strategies of rough set. J. Comput. Sci. Technol. 13(2): 189-192 (1998) - Shitong Wang, Elizabeth Scott, A. Gamermann:
Extract rules by using rough set and knowledge-based NN. J. Comput. Sci. Technol. 13(3): 279-284 (1998) - Haohong Wang, Ruixun Wu, Shijie Cai:
A new algorithm for two-dimensional line clipping via geometric transformation. J. Comput. Sci. Technol. 13(5): 410-416 (1998) - Aiqun Wang, Nanning Zheng:
Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model. J. Comput. Sci. Technol. 13(1): 41-54 (1998) - Hong Wu, Xumin Nie:
Extending STL with efficient data structures. J. Comput. Sci. Technol. 13(4): 317-324 (1998) - Junsheng Wu, Guangmao Wu:
Element-partition-based methods for visualization of 3D unstructured grid data. J. Comput. Sci. Technol. 13(5): 417-425 (1998) - Yingqing Xu, Hans E. Dehlinger, Dongxu Qi, Shenquan Liu:
Line-art and its mathematical models. J. Comput. Sci. Technol. 13(1): 73-78 (1998)
