CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Evaluating epistemic negation in answer set programming 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09
一种新的空谱联合探测高光谱影像目标探测算法 期刊论文
光谱学与光谱分析, 2016, 卷号: 36, 期号: 4, 页码: 1163-1169
Wang, CL; Wang, HW; Hu, BL; Wen, J; Xu, J; Li, XJ
收藏  |  浏览/下载：36/0  |  提交时间：2016/12/09
A novel quantum genetic clustering algorithm for data segmentation 会议论文
16th Genetic and Evolutionary Computation Conference, GECCO 2014, Vancouver, BC, Canada, July 12, 2014 - July 16, 2014
Zhang, Ming-An (1); Deng, Yong (1); Chang, Dong-Xia (2)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
FLP answer set semantics without circular justifications for general logic programs 期刊论文
Artificial Intelligence, 2014, 卷号: 213, 页码: 1-41
Shen, Yi-Dong (1); Wang, Kewen (2); Eiter, Thomas (3); Fink, Michael (3); Redl, Christoph (3); Krennwallner, Thomas (3); Deng, Jun (1)
收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16
基于特征流的抽象线条画绘制 期刊论文
计算机学报, 2014, 卷号: 37, 期号: 3, 页码: 611-620
王山东; 刘学慧; 陈彦云; 吴恩华
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Bisimulations and logical characterizations on continuous-time markov decision processes 会议论文
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 学位论文
硕士, 北京: 中国科学院大学, 2013
高杨
收藏  |  浏览/下载：22/0  |  提交时间：2013/05/31
model checking conditional csl for continuous-time markov chains 期刊论文
Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
rank reduction for the local consistency problem 期刊论文
JOURNAL OF MATHEMATICAL PHYSICS, 2012, 卷号: 53, 期号: 2, 页码: -
Chen Jianxin; Ji Zhengfeng; Klyachko Alexander; Kribs David W.; Zeng Bei
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17

©版权所有 ©2017 CSpace - Powered by CSpace