×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [42]
内容类型
期刊论文 [19]
会议论文 [16]
学位论文 [7]
发表日期
2016 [1]
2014 [4]
2013 [4]
2012 [7]
2011 [4]
2010 [9]
更多...
学科主题
Computer S... [6]
Computer S... [2]
Artificial... [1]
Interdisci... [1]
Mathematic... [1]
Science & ... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共42条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
A Model for Phase Transition of Random Answer-Set Programs
期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 卷号: 17, 期号: 3
Wen, L
;
Wang, KW
;
Shen, YD
;
Lin, FZ
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2016/12/09
Answer sets
random logic programs
phase transition
A modeling: Internetware-based dynamic architecture evolution applying to SOA
会议论文
2014 18th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2014, Hsinchu, Taiwan, May 21, 2014 - May 23, 2014
Wang, Jian (1)
;
Peng, Qimin (1)
;
Hu, Xiaohui (1)
收藏
  |  
浏览/下载:23/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
An Investigation Into the Relationship Between Texture and Human Performance in Steering and Gesture Input Tasks
期刊论文
International Journal of Human-Computer Interaction, 2014, 卷号: 30, 期号: 8, 页码: 654-662
Sun, Minghui (1)
;
Ren, Xiangshi (1)
;
Tu, Huawei (1)
;
Tian, Feng (4)
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2014/12/16
线性时序逻辑转换Buchi自动机的按需即时算法
期刊论文
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥
;
覃征
;
卢欣晔
;
卢正才
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
线性时序逻辑
基于迁移的Buchi自动机
按需即时
Diversifying Tag Selection Result for Tag Clouds by Enhancing both Coverage and Dissimilarity
会议论文
14th International Conference on Web Information Systems Engineering (WISE), Nanjing, PEOPLES R CHINA, OCT 13-15, 2013
Wang, Meiling
;
Zhou, Xiang
;
Tao, Qiuming
;
wu, Wei
;
Zhao, Chen
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Tag Cloud
Tag Selection
Result Diversification
Coverage
Dissimilarity
Submodularity
Greedy Algorithm
一种收益敏感的虚拟资源按需提供方法
期刊论文
软件学报, 2013, 卷号: 24, 期号: 8, 页码: 1963-1980
吴恒
;
张文博
;
张建华
;
魏峻
;
黄涛
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
云计算
虚拟化
资源重配置
收益敏感
中文软件评论挖掘系统的设计与实现
期刊论文
计算机工程与设计, 2013, 卷号: 34, 期号: 1, 页码: 163-167
文涛
;
杨达
;
李娟
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2013/09/17
中文软件评论
意见挖掘
软件特征
观点词
情感倾向
中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望
期刊论文
中文信息学报, 2013, 卷号: 27, 期号: 4, 页码: 1-8
杜金华
;
张萌
;
宗成庆
;
孙乐
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
机器翻译理论
机器翻译应用
语音翻译
少数民族语言
机器翻译评测
MT theories
machine translation application
spoken translation
minority languages
machine translation evaluation
value-based portfolio scoping: an industrial case study
会议论文
2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012, Zurich, Switzerland, June 4, 2012 - June 4, 2012
Hu Jie
;
Yang Ye
;
Wang Qing
;
Ruhe Guenther
;
Wang Haitao
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2013/09/22
Customer satisfaction
Software engineering
©版权所有 ©2017 CSpace - Powered by
CSpace