您现在的位置:首页> 外军国防科技报告> 美国国防高级研究计划局
机译 信息制图:创建可缩放的大规模信息地图
机译 大规模重叠社区检测:一种非负矩阵分解方法
机译 重叠网络社区检测的社区隶属图模型
机译 基于地面实况定义和评估网络社区
机译 学习发现自我网络中的社交圈
机译 FAST-ppR:扩展大图的个性化pageRank估计
机译 协调博弈中的文化依赖策略
机译 MapReduce的高效原始对偶算法
机译 移动机器人中的运动干涉检测
机译 基于冗余信息统计的移动机器人故障检测
机译 混合系统协同验证驱动工程的一个愿景
机译 论自主机器人地面车辆的安全避障
机译 在可扩展程序验证器中结合生成元编程和Hoare逻辑
机译 seL4:从通用到信息流执行证明
机译 OS微内核的二进制验证
机译 大多数声音类型系统改进了基础程序验证器
机译 认证编译器的程序逻辑
机译 ARSENAL:从自然语言中提取自动需求规范
机译 混合系统的时间感知关系抽象
机译 线性系统的安全验证