CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于深度学习的病人相似性度量工具的设计与实现 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  倪嘉志
收藏  |  浏览/下载：150/0  |  提交时间：2017/07/08
Evaluating epistemic negation in answer set programming 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
Cai, SW; Luo, CA; Lin, JK; Su, KL
收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
中国计算机发展简史 期刊论文
科技导报, 2016, 卷号: 34, 期号: 14, 页码: 12-21
陶建华; 刘瑞挺; 徐恪; 韩伟力; 张华平; 于剑; 田丰; 梁晓辉
收藏  |  浏览/下载：75/0  |  提交时间：2016/12/09
Tailoring local search for partial MaxSAT 会议论文
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Cai, Shaowei (1); Luo, Chuan (3); Thornton, John (4); Su, Kaile (4)
收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16
Double configuration checking in stochastic local search for satisfiability 会议论文
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Luo, Chuan (1); Cai, Shaowei (2); Wu, Wei (1); Su, Kaile (1)
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
Scoring functions based on second level score for κ-SAT with long clauses 期刊论文
Journal of Artificial Intelligence Research, 2014, 卷号: 51, 页码: 413-441
Cai, Shaowei (1); Luo, Chuan (3); Su, Kaile (4)
收藏  |  浏览/下载：15/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
Cross-domain metric learning based on information theory 会议论文
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Wang, Hao (1); Wang, Wei (2); Zhang, Chen (2); Xu, Fanjiang (2)
收藏  |  浏览/下载：11/0  |  提交时间：2014/12/16

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