Breadth-first algorithms; Queues in functional programming; Correctness by extraction; Coq;
机译:广泛的搜索树集成顶点覆盖算法,用于无线传感器网络中的链路监控和路由
机译:无线传感器网络中基于广度优先搜索的单相桥检测算法
机译:无线传感器网络中基于广度优先搜索的单相桥检测算法
机译:提取宽度第一算法的认证
机译:本体上知识信息提取的神经网络算法
机译:无线传感器网络中基于广度优先搜索的单相桥检测算法
机译:能源绩效证书(EPC)的数据提取算法估计比利时佛兰德洪水经济影响评价的最大经济损害