We use cookies to improve your experience with our site.
Advanced Search

Average-Case Analysis of Algorithms Using Kolmogorov Complexity
JIANG Tao, LI Ming, Paul M.B.Vitanyi
2000, 15(5)
Abstract
Exploiting Deterministic TPG for Path Delay Testing
LI Xiaowei, Paul Y.S.Cheung
2000, 15(5)
Abstract
Implementation of a Prototype VoIP System
LIU Xicheng, LI Timothy J.
2000, 15(5)
Abstract
Study on Translating Chinese into Chinese Sign Language
XU Lin, GAO Wen
2000, 15(5)
Abstract
An Aided Tool for Enterprise Network Design
FENG Jing, MA Xiaojun, GU Boxuan, GU Guanqun
2000, 15(5)
Abstract
Renaming a Set of Non-Horn Clauses
NIE Xumin, GUO Qing
2000, 15(5)
Abstract
Decision Tree Complexity of Graph Properties with Dimension at Most 5
GAO Suixiang, LIN Guohui
2000, 15(5)
Abstract
Checking Timed Automata for Linear Duration Properties
ZHAO Jianhua, Dang Van Hung
2000, 15(5)
Abstract
Default Reasoning and Belief Revision:A Syntax-Independent Approach
ZHANG Dongmo, ZHU Zhaohui, CHEN Shifu
2000, 15(5)
Abstract
Some Structural Properties of SAT
LIU Tian
2000, 15(5)
Abstract
Supporting Flexible Data Distribution in Software DSMs
HONG Jinwei, CHEN Guoliang, ZHANG Zhaoqing
2000, 15(5)
Abstract
Limited Multiple-Writer:An Approach to Dealing with False Sharing in Software DSMs
XIE Xianghui, HAN Chengde
2000, 15(5)
Abstract
Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition
ZHENG Fang, WU Jian, SONG Zhangjiang
2000, 15(5)
Abstract
Average-Case Analysis of Algorithms Using Kolmogorov Complexity
JIANG Tao, LI Ming, Paul M.B
2000, 15(5): 402-408.
Abstract
Renaming a Set of Non-Horn Clauses
NIE Xumin, GUO Qing
2000, 15(5): 409-415.
Abstract
Decision Tree Complexity of Graph Properties with Dimension at Most5
GAO Suixiang, LIN Guohui
2000, 15(5): 416-422.
Abstract
Checking Timed Automata for Linear Duration Properties
ZHAO Jianhua
2000, 15(5): 423-429.
Abstract
Default Reasoning and Belief Revision: A Syntax-Independent Approach
ZHANG Dongmo, ZHU Zhaonui, CHEN Shifu
2000, 15(5): 430-438.
Abstract
Some Structural Properties of SAT
LIU Tian
2000, 15(5): 439-444.
Abstract
Supporting Flexible Data Distribution in Software DSMs
HONG Jinwei, CHEN Guoliang, ZHANG Zhaoqing
2000, 15(5): 445-452.
Abstract
Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs
XIE Xianghui, HAN Chengde
2000, 15(5): 453-460.
Abstract
Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition
ZHENG Fang, WU Jian, SONG Zhanjiang
2000, 15(5): 461-471.
Abstract
Exploiting Deterministic TPG for Path Delay Testing
LI Xiaowei, Paul Y.S. Cheung
2000, 15(5): 472-479.
Abstract
Implementation of a Prototype VoIP System
LIU Xicheng, LI Timothy J
2000, 15(5): 480-484.
Abstract
Study on Translating Chinese into Chinese Sign Language
XU Lin, GAO Wen
2000, 15(5): 485-490.
Abstract
An Aided Tool for Enterprise Network Design
FENG Jing, MA Xiaojun, GU Boxuan, GU Guanqun
2000, 15(5): 491-497.
Abstract
Current Issue Cover