高级检索

    栏目
    工作流过程建模中的形式化验证技术
    周建涛, 史美林, 叶新铭
    2005, 42(1): 1-9.
    摘要 PDF
    VAR-Tree——一种新的高维数据索引结构
    董道国 梁刘红 薛向阳
    2005, 42(1): 10-17.
    摘要 PDF
    一种面向混合实时事务调度的并发控制协议
    王 强 王宏安 金 宏 付 勇 戴国忠
    2005, 42(1): 18-29.
    摘要 PDF
    一种基于DTD的XML索引方法
    路 燕, 张 亮, 段起阳, 施伯乐
    2005, 42(1): 30-37.
    摘要 PDF
    LDPChecker——一个实时和混成系统模型检验工具
    裴 玉 李宣东 郑国梁
    2005, 42(1): 38-46.
    摘要 PDF
    文本分类中结合评估函数的TEF-WA权值调整技术
    唐焕玲, 孙建涛, 陆玉昌
    2005, 42(1): 47-53.
    摘要 PDF
    BDI模型信念特性研究
    刘 勇, 蒲树祯, 程代杰, 曹泽翰
    2005, 42(1): 54-59.
    摘要 PDF
    SAT问题中局部搜索法的改进
    杨晋吉, 苏开乐
    2005, 42(1): 60-65.
    摘要 PDF
    基于最小不确定性神经网络的茶味觉信号识别
    王 岩 周春光 黄艳新 丰小月
    2005, 42(1): 66-71.
    摘要 PDF
    基于分段时间弯曲距离的时间序列挖掘
    肖 辉 胡运发
    2005, 42(1): 72-78.
    摘要 PDF
    一种改进的自适应文本信息过滤模型
    马 亮 陈群秀 蔡莲红
    2005, 42(1): 79-84.
    摘要 PDF
    一种实用高效的文本分类算法
    王建会, 王洪伟, 申 展, 胡运发
    2005, 42(1): 85-93.
    摘要 PDF
    使用最大熵模型进行中文文本分类
    李荣陆 王建会 陈晓云 陶晓鹏 胡运发
    2005, 42(1): 94-101.
    摘要 PDF
    应用于计算机网络协议一致性测试的传输机制
    张玉军 李忠诚 郑红霞 田 野 孙静波
    2005, 42(1): 102-108.
    摘要 PDF
    基于Small-World网络的非结构化DHT算法
    周 晋 李衍达
    2005, 42(1): 109-117.
    摘要 PDF
    同构计算环境中一种快速有效的静态任务调度算法
    李庆华, 韩建军, Abbas A. Essa
    2005, 42(1): 118-125.
    摘要 PDF
    分布式数据库服务器系统及其自适应配置管理策略
    田俊峰, 刘玉玲, 杜瑞忠
    2005, 42(1): 126-133.
    摘要 PDF
    基于遗传算法的B样条曲线和Bézier曲线的最小二乘拟合
    周明华, 汪国昭
    2005, 42(1): 134-143.
    摘要 PDF
    建筑工程图识别与理解——模型与算法
    路 通 席晓鹏 芮 明 蔡士杰 窦万春
    2005, 42(1): 144-152.
    摘要 PDF
    SOC可测试性设计与测试技术
    胡 瑜, 韩银和, 李晓维
    2005, 42(1): 153-162.
    摘要 PDF
    无线传感器网络研究进展
    崔 莉, 鞠海玲, 苗 勇, 李天璞, 刘 巍, 赵泽
    2005, 42(1): 163-174.
    摘要 PDF