×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [527]
内容类型
会议论文 [463]
期刊论文 [59]
学位论文 [5]
发表日期
2017 [1]
2016 [4]
2014 [8]
2013 [18]
2012 [90]
2011 [68]
更多...
学科主题
Computer ... [11]
Automation... [6]
Artificial... [5]
Artificial... [4]
Computer S... [4]
Computer S... [4]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共527条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
基于深度学习的病人相似性度量工具的设计与实现
学位论文
硕士, 北京: 中国科学院大学, 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
Answer set programming
Epistemic negation
Semantics
Trace Abstraction Refinement for Solving Horn Clauses
期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF
;
Jiao, L
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2016/12/09
Horn clauses
trace abstraction refinement
program verification
solvability
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
Partial MaxSAT
Local search
Hard and soft score
Initialization
中国计算机发展简史
期刊论文
科技导报, 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
Answer set programming
Knowledge representation
Nonmonotonic reasoning
Logic programs with first-order formulas
Level mappings
Circular justifications
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