0254-4164
1998 Issue 2
..............page:97-102
SYMBOLIC MODEL CHECKING OF DISCRETE DURATION CALCULUS
HOU Jian-Min;LI Xuan-Dong;ZHENG Guo-Liang
HOU Jian-Min;LI Xuan-Dong;ZHENG Guo-Liang
..............page:103-110
SOFTWARE MODEL AND INTEGRATION ALGORITHM OF MULTIMODAL INTERFACE
LI Mao-Zhen;DAI Guo-Zhong;DONG Shi-Hai
LI Mao-Zhen;DAI Guo-Zhong;DONG Shi-Hai
..............page:111-118
ON NEW CUMULATIVE VARIANTS OF DEFAULT LOGIC: CHARACTERIZATION AND ALGORITHMS OF EXTENSIONS
ZHANG Ming-Yi;ZHANG Ying
ZHANG Ming-Yi;ZHANG Ying
..............page:119-126
MULTILAYER NEURAL NETWORKS FOR MOTION INVARIANT PATTERN RECOGNITION
ZHANG Ling;ZHANG Bo;WU Fu-Chao
ZHANG Ling;ZHANG Bo;WU Fu-Chao
..............page:127-136
..............page:137-144
SINGULARITY AND PARAMETER ESTIMATION METHODS OF EXPERIMENTAL MODELS IN SOFTWARE RELIABILITY EXPERT SYSTEM (SRES)
XU Ren-Zuo;ZHANG Jian;LIU Lian-Jun;HE Ping
XU Ren-Zuo;ZHANG Jian;LIU Lian-Jun;HE Ping
..............page:145-153
OOIGT: AN OBJECT-ORIENTED INTERACTIVE GRAPHICS TOOLKIT
HUA Qing-Yi;GE Wei;YU Bin;HAO Ke-Gang
HUA Qing-Yi;GE Wei;YU Bin;HAO Ke-Gang
..............page:154-161
A MAINTENANCE APPROACH FOR MATERIALIZED OO-VIEW IN THE CIMS INFORMATION INTEGRATION PLATFORM
ZHANG Bin;SHI Xiang-Bin;YU Ge;ZHENG Huai-Yuan
ZHANG Bin;SHI Xiang-Bin;YU Ge;ZHENG Huai-Yuan
..............page:162-167
THE DESIGN AND IMPLEMENTATION OF GS-ICCC: AN INTEGRATED CAD/CAPP/CAM SYSTEM BASED ON OOEDB
CHEN De-Ren;DONG Jin-Xiang;LI Shan-Ping;HE Zhi-Jun;CHEN Qian;CHE Mei
CHEN De-Ren;DONG Jin-Xiang;LI Shan-Ping;HE Zhi-Jun;CHEN Qian;CHE Mei
..............page:168-175
ON COMPATIBILITY OF DELETION STRATEGY
CHENG Xiao-Chun
CHENG Xiao-Chun
..............page:176-182
SIMPLICITY, ORIENTATION, AND INCLUSION TEST ALGORITHMS FOR POLYGONS
WANG Zhi-Qiang;XIAO Li-Jin;HONG Jia-Zhen
WANG Zhi-Qiang;XIAO Li-Jin;HONG Jia-Zhen
..............page:183-187
MACE: AN MULTI-AGENT COOPERATIVE WORK ENVIRONMENT
LIN Shou-Xun;LIN Zong-Kai;GUO Yu-Chai;HU Bin;MA Xian-Lin
LIN Shou-Xun;LIN Zong-Kai;GUO Yu-Chai;HU Bin;MA Xian-Lin
..............page:188-封三
..............page:153,封三
..............page:110