 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
2001年第12卷第9期目录
本期目录 | | | 析取封闭世界假设的一种过程语义 | | | 王克文,周立柱,冯建华 | | | 2001,12(9):1265-1270 [摘要(2513)] [PDF 352.12 K (2292)] | | | | | 基于多模式分析自动解析新闻视频 | | | 王伟强,高文 | | | 2001,12(9):1271-1278 [摘要(2256)] [PDF 719.32 K (2509)] | | | | | 函数式逻辑语言的操作语义 | | | MOHAMEDHamada | | | 2001,12(9):1279-1286 [摘要(2244)] [PDF 449.98 K (2467)] | | | | | 基于层次DCT变换的嵌入式图像编码方法 | | | 赵德斌,张大鹏,高文 | | | 2001,12(9):1287-1294 [摘要(2466)] [PDF 1.13 M (2616)] | | | | | 对象系统的组合交互计算 | | | 钱军,黄涛,冯玉琳 | | | 2001,12(9):1295-1303 [摘要(2117)] [PDF 1.17 M (2400)] | | | | | 一种新颖的水印密钥系统 | | | 钟桦,焦李成,刘芳 | | | 2001,12(9):1304-1311 [摘要(2631)] [PDF 485.10 K (2551)] | | | | | 扩展强化非对称选择网的活性和有界性 | | | 焦莉,陆维明 | | | 2001,12(9):1312-1317 [摘要(2475)] [PDF 395.14 K (2304)] | | | | | 一种分析电子商务协议的新工具 | | | 周典萃,卿斯汉,周展飞 | | | 2001,12(9):1318-1328 [摘要(2111)] [PDF 588.52 K (2490)] | | | | | ORDBMS中主动性规则的研究与实现 | | | 李红燕,李战怀,唐世渭 | | | 2001,12(9):1329-1335 [摘要(2172)] [PDF 505.75 K (2441)] | | | | | 基于视觉相似性的中文古籍内容检索方法 | | | 施伯乐,张亮,王勇,陈智峰 | | | 2001,12(9):1336-1342 [摘要(2590)] [PDF 495.07 K (2638)] | | | | | 证书吊销的线索二叉排序Hash树解决方案 | | | 王尚平,张亚玲,王育民 | | | 2001,12(9):1343-1350 [摘要(2777)] [PDF 560.00 K (2600)] | | | | | 基于软件体系结构的可复用构件制作和组装 | | | 张世琨,张文娟,常欣,王立福,杨芙清 | | | 2001,12(9):1351-1359 [摘要(5170)] [PDF 586.26 K (3524)] | | | | | 基于状态和变化的统一时空数据模型 | | | 郑扣根,谭石禹,潘云鹤 | | | 2001,12(9):1360-1365 [摘要(2674)] [PDF 425.58 K (3281)] | | | | | 多Agent信念逻辑及其在概率意义下的推广 | | | 曹子宁,董红斌,石纯一 | | | 2001,12(9):1366-1374 [摘要(2468)] [PDF 558.30 K (2508)] | | | | | 一种分布式协同入侵检测系统的设计与实现 | | | 段海新,吴建平 | | | 2001,12(9):1375-1379 [摘要(2291)] [PDF 394.93 K (2835)] | | | | | 遗传算法求解复杂集装箱装载问题方法研究 | | | 何大勇,查建中,姜义东 | | | 2001,12(9):1380-1385 [摘要(3299)] [PDF 851.29 K (3158)] | | | | | 用Naive Bayes方法协调分类Web网页 | | | 范焱,郑诚,王清毅,蔡庆生,刘洁 | | | 2001,12(9):1386-1392 [摘要(2533)] [PDF 1.45 M (2486)] | | | | | 利用区间约束优化包含多个用户函数的查询 | | | 杨波,洪晓光,王海洋 | | | 2001,12(9):1393-1398 [摘要(2222)] [PDF 377.27 K (2313)] | | | | | 智能化电脑刺绣编程环境的设计与实现 | | | 刘海涛,郭磊,陈世福 | | | 2001,12(9):1399-1404 [摘要(2394)] [PDF 368.18 K (2957)] | | | | | 基于对数模型的词义自动消歧 | | | 朱靖波,李珩,张跃,姚天顺 | | | 2001,12(9):1405-1412 [摘要(2182)] [PDF 474.33 K (2440)] | | | | | 基于分组网络的多点实时语音混合及调度算法 | | | 杨树堂,余胜生,周敬利 | | | 2001,12(9):1413-1419 [摘要(2299)] [PDF 1.34 M (3097)] | | | | | 最大熵阈值处理算法 | | | 周德龙,潘泉,张洪才,戴冠中 | | | 2001,12(9):1420-1422 [摘要(2847)] [PDF 596.70 K (3072)] | | | |
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
