中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
  • 软件研究所 [126]
采集方式
内容类型
发表日期
学科主题
筛选

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

限定条件                
条数/页： 排序方式：
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文  OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv, YR; Wang, YJ
  |  收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
利用交叉推荐模型解决用户冷启动问题 期刊论文  OAI收割
计算机应用与软件, 2016, 卷号: 33, 期号: 5, 页码: 66
朱坤广; 杨达; 崔强; 郝春亮
  |  收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Structural Information and Dynamical Complexity of Networks 期刊论文  OAI收割
IEEE TRANSACTIONS ON INFORMATION THEORY, 2016, 卷号: 62, 期号: 6, 页码: 3290-3339
Li, AS; Pan, YC
  |  收藏  |  浏览/下载：42/0  |  提交时间：2016/12/09
New local search methods for partial MaxSAT 期刊论文  OAI收割
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
Cai, SW; Luo, CA; Lin, JK; Su, KL
  |  收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
基于树状线性规划搜索的单调速率优化设计 期刊论文  OAI收割
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力; 王永吉; 吴敬征; 吕荫润
  |  收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09
基于公式学习的循环不变式的推导 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
  |  收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
差分和线性分析的代数自动化方法 学位论文  OAI收割
博士, 北京: 中国科学院研究生院, 2014
吴生宝
  |  收藏  |  浏览/下载：43/0  |  提交时间：2014/05/29
支持安全转码的图像加密与认证方法研究 学位论文  OAI收割
博士, 北京: 中国科学院大学, 2014
易小伟
  |  收藏  |  浏览/下载：34/0  |  提交时间：2014/05/27
一种基于角色的虚拟机池单点失效处理方法 期刊论文  OAI收割
计算机应用与软件, 2014, 卷号: 31, 期号: 9, 页码: 13-15,134
罗涛; 吴恒; 宋云奎; 石颖; 张文博
  |  收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Scoring functions based on second level score for κ-SAT with long clauses 期刊论文  OAI收割
Journal of Artificial Intelligence Research, 2014, 卷号: 51, 页码: 413-441
Cai, Shaowei (1); Luo, Chuan (3); Su, Kaile (4)
  |  收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16