中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共8条，第1-8条 帮助

已选(0)清除 条数/页：   排序方式：
Polynomial algorithm of limited propositional deduction 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1999, 卷号: 42, 期号: 4, 页码: 418-424
作者:  Shi, ZZ;  Liao, LJ
收藏  |  浏览/下载：72/0  |  提交时间：2019/12/16
limited propositional deduction  polynomial algorithm  problem of propositional satisfiability  constraint satisfaction problem  
Many-knot spline technique for approximation of data 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1999, 卷号: 42, 期号: 4, 页码: 383-387
作者:  Qi, DX;  Li, HS
收藏  |  浏览/下载：71/0  |  提交时间：2019/12/16
many-knot spline  cardinal interpolation  data smoothing  curve fitting  two scale relation  
An efficient multiway merging algorithm 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 卷号: 41, 期号: 5, 页码: 543-551
作者:  Zhao, LJ;  Liu, ZY;  Gao, QS
收藏  |  浏览/下载：81/0  |  提交时间：2019/12/16
algorithm  sorting  merging  parallel processing  
Model-theoretical foundation of action and progression 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 4, 页码: 430-438
作者:  Tian, QJ;  Shi, ZZ
收藏  |  浏览/下载：45/0  |  提交时间：2019/12/10
situation calculus  many-sorted logic  model theory  action  progression  
Sloping-and-shaking - Multiway merging and sorting 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 3, 页码: 225-234
作者:  Gao, QS;  Liu, ZY
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/10
parallel processing  merging  sorting  algorithms  time complexity  
Boolean process 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 3, 页码: 250-257
作者:  Min, YH;  Li, ZC;  Zhao, ZX
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/10
Boolean process  waveform  waveform limit  path sensitization  
Liveness characterization for GFC systems .1. 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 卷号: 39, 期号: 2, 页码: 196-205
作者:  Cao, CG
收藏  |  浏览/下载：45/0  |  提交时间：2019/12/10
free-choice net  liveness  generalized free-choice net  
Liveness characterization for GFC systems .2. 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 卷号: 39, 期号: 2, 页码: 206-216
作者:  Cao, CG
收藏  |  浏览/下载：40/0  |  提交时间：2019/12/10
free-choice net  liveness  generalized free-choice net