Home | Survey | Payment| Talks & Presentations | Job Opportunities
Journals   A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Journal of Computer Science and Technology
1000-9000
1999 Issue 4
rao logic for multiagent framework
SHI Zhongzhi;TIAN Qijia and LI Yunfeng
..............page:393-400
on k-positive satisfiability problem
HUANG Xiong ; LI wei Department of Computer Science and EngineeringBeijing University of Aeronautics and Astronautics; Beijing 100083; P.R. ChinaE-mail: xhuang@cs. sebuaa. ac. onReceived November 24; 1997; revised may 12; 1998.
..............page:309-313
An Incremental Approach toAutomatic Algorithm Design
LUAN Shangmin;LI wei Department of Computer Science; Beijing University of Aeronautics and AstronauticsBeijing 100083; P.R. ChinaReceived April 23; 1998; revised November 24; 1998.
..............page:314-319
an approach to active learning for classifier systems
XI Haifeng; LUO Yupin and YANG Shiyuan
..............page:372-378
Relative Properties of Frame Language
FU maxiDepartment Of Computer Science; Shanghai Jiao Tong University; Shanghai 200030; P.R. ChinaReceived November 25; 1997; revised may 6; 1998.
..............page:320-327
automated analysis of the scr-stylerequirements specifications
WU Guoqing; LIU Xiang and YING Shi Tetsuo Tamai (Graduate School of Art and Sciences; University of Tokyo; Tokyo; Japan 153Received December 9; 1997; revised October 26;
..............page:401-407
topology in process calculus ( ):limit behaviour of agents
YING Mingsheng Department of Computer Science and Technology; Tsinghua UniversityBeijing 100084; P.R. ChinaReceived November 14; 1997; revised May 21; 1998.
..............page:328-336
view creation for queriesin object oriented databases
Rajesh Narang and K.D. SharmaDepartment of Computer Science; University of Delhi; Delhi 110007;IndiaReceived November 25; 1997; revised July 22; 1998.
..............page:349-362
reasoning about concurrent actionsin multi-agent systems
FAN Xiaocong; XU Dianxiang;HOU Jianmin and ZHENG Guoliang
..............page:422-428
A Theory of Hybrid Diagnosis
SHEN Yidong Department of Computer Science; Chongqing University; Chongqing 400044; P.R. ChinaReceived November 9; 1997; revised April 20; 1998.
..............page:363-371
fault tolerance of reconfigurable bi-directional double-loop lans
WEI Hua;LUO Yupin) and YANG Shiyuan
..............page:379-385
function definition language fdl andits implementation
CHEN Haiming
..............page:414-421
isomorphic transformations of uncertaintiesfor incorporating emycin-style andprospector-style systems intoa distributed expert system
ZHANG Cnengqi and LUO Xudong (School of Computing and Mathematics; Deakin University; Geelong; Victoria 3217; AustraliaDepartment of Computer Science and EngineeringThe Chinese University of Hong Kong; P.R. ChinaE-mail: chengqi@deakin .edu. an; xluo@cse .
..............page:386-392
on the arc consistency problem
CHEN Yangjun Department of COmputer Science; Technical University of Chemnitz-Zwickau09107 Chemnitz; GermanyReceived December 24; 1997; revised March 30; 1998.
..............page:298-308
genetic programming with simple loops
QI Yuesheng; WANG Baozhong;KANG Lishan
..............page:429-433
the sequence modeling method based on eccin developing program specifications
CAI JiameiInstitute of Information;Zhejiang University of Technology; Hangzhou 310014; P.R. ChinaReceived October 27; 1997; revised March 31; 1998.
..............page:337-348
Dynamic Checking Framework for Java Beaus Semantic Constraints
NI Bin and FENG Yulin
..............page:408-413
Approximation for- Knapsack Problemswith Multiple Constraints
ZHANG Li'ang ; ZHANG YinDepartment of Computer Science and Technology; Peking University; Beijing 100871; P.R. ChinaReceived July 6; 1998; revised November 24; 1998.
..............page:289-297