高级检索

    栏目
    工作流过程建模中的形式化验证技术
    VAR-Tree——一种新的高维数据索引结构
    应用于计算机网络协议一致性测试的传输机制
    基于Small-World网络的非结构化DHT算法
    同构计算环境中一种快速有效的静态任务调度算法
    分布式数据库服务器系统及其自适应配置管理策略
    基于遗传算法的B样条曲线和Bézier曲线的最小二乘拟合
    建筑工程图识别与理解——模型与算法
    SOC可测试性设计与测试技术
    无线传感器网络研究进展
    一种面向混合实时事务调度的并发控制协议
    一种基于DTD的XML索引方法
    LDPChecker——一个实时和混成系统模型检验工具
    文本分类中结合评估函数的TEF-WA权值调整技术
    BDI模型信念特性研究
    SAT问题中局部搜索法的改进
    基于最小不确定性神经网络的茶味觉信号识别
    基于分段时间弯曲距离的时间序列挖掘
    一种改进的自适应文本信息过滤模型
    一种实用高效的文本分类算法
    使用最大熵模型进行中文文本分类
    邮件订阅 RSS