中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共6条，第1-6条 帮助

已选(0)清除 条数/页：   排序方式：
关于图同构复杂性的分析 期刊论文
计算机科学, 2006, 卷号: 33, 期号: 11, 页码: 219
作者:  戴琼;  邹潇湘;  谭建龙
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
图同构  NP问题  P问题  NPC问题  图同构完备  多项式时间算法  一一映射  对应关系  证明  描述  论文  国内  顶点  
从文本中获取植物知识方法的研究 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 6
作者:  罗贝;  吴洁;  曹存根;  邵志清
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
植物本体  植物知识  基于本体的知识获取与分析  知识获取  文本挖掘  植物  自动获取  人工智能  领域知识  网页文本  实验证明  获取方法  
多Agent VSK-AF逻辑 期刊论文
计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1
作者:  孙瑜;  夏幼明;  李志平
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
多Agent系统  形式化模型  交互  完全性  推理  一致性  证明  信息特征  逻辑  体系  
一类构造性几何不等式的机器证明 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769
作者:  杨路;  夏时洪
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
构造性几何不等式  机器证明  自动证明  半代数系统  
零知识水印验证协议 期刊论文
软件学报, 2003, 卷号: 14.0, 期号: 009, 页码: 1645
作者:  邹潇湘;  戴琼;  黄晁;  李锦涛
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
数字水印  对称水印  非对称水印  比特承诺  零知识证明  
关于软件形式化方法 期刊论文
重庆师范学院学报：自然科学版, 2002, 卷号: 19.0, 期号: 002, 页码: 1
作者:  张广泉
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
软件  形式化方法  规约  验证  演绎证明  模型检测