聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 安全协议形式化分析的新进展:基于逻辑程序的验证方法
出处:2004年全国理论计算机科学学术年会
摘要:安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交... 显示全部
关键词: 安全协议 形式化分析 逻辑程序
会议论文 基于空间位置的最短路径算法研究
出处:2004年全国理论计算机科学学术年会
摘要:最短路径问题一直是计算机科学、地理信息学、交通工程学等学科的一个研究热点.在关于最短路径算法的各种研... 显示全部
关键词: 空间位置 最短路径算法 算法
会议论文 一种基于模糊理论的体育动作分析和识别方法
出处:2004年全国理论计算机科学学术年会
摘要:本文从以下几个方面研究了一种基于模糊理论的体育动作分析和识别方法:1.人体动作元及性质。2.人体动作的... 显示全部
关键词: 模糊理论 体育动作分析 模式识别
找到3条结果
`