高级检索

    栏目
    基于Petri网的混惑检测
    模型检测基于概率时间自动机的反例产生研究
    一种共游程码的测试数据压缩方案
    基于缓冲Cell的用户迁移方法研究
    面向低概率事件场景的传感器网络分簇控制算法
    网格局部性及其优化研究
    基于可信平台的一种访问控制策略框架——TXACML
    非双线性映射下一种实用的和可证明安全的IBE方案
    针对同义词替换信息隐藏的检测方法研究
    基于博弈的MANETs信任模型研究
    一种对多级安全模型安全性的分析方法
    战略互联网风险检测与故障分析方法
    多特征组合和图切割支持的物体/背景分割方法
    一种基于采样点的大规模群体实时三维可视化方法
    基于局部复杂度和初级视觉特征的自底向上注意信息提取算法
    关于AdaBoost有效性的分析
    基于势结构的任一时间联盟结构生成算法
    基于策略迭代和值迭代的POMDP算法
    一种基于动态平衡树的在线索引快速构建方法
    基于多重索引模型的大规模词典近似匹配算法
    精确覆盖问题的O(1.414\+n)链数DNA计算机算法
    二进制翻译中解析多目标分支语句的图匹配方法
    一种面向服务的事件驱动架构信息集成平台构造方法