×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [8]
清华大学 [3]
自动化研究所 [3]
软件研究所 [2]
厦门大学 [1]
成都山地灾害与环境研... [1]
更多...
内容类型
期刊论文 [13]
其他 [4]
会议论文 [2]
学位论文 [1]
发表日期
2022 [1]
2021 [1]
2020 [1]
2017 [3]
2016 [1]
2015 [1]
更多...
学科主题
Astronomy ... [1]
P642.23 [1]
天文学 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共20条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
Knowledge structure driven prototype learning and verification for fact checking
期刊论文
KNOWLEDGE-BASED SYSTEMS, 2022, 卷号: 238, 页码: 10
作者:
Wang, Shuai
;
Mao, Wenji
;
Wei, Penghui
;
Zeng, Daniel D.
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2022/06/10
Fact checking
Knowledge structure
Hierarchical prototype learning
Relation enhancement
Verification
Modeling Inter-Claim Interactions for Verifying Multiple Claims
会议论文
线上, 2021年11月
作者:
Wang S(王帅)
;
Mao WJ(毛文吉)
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2022/07/01
fact checking knowledge graph
A KG-based Enhancement Framework for Fact Checking Using Category Information
会议论文
线上, 2020年11月
作者:
Wang S(王帅)
;
Wang L(王磊)
;
Mao WJ(毛文吉)
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2022/07/01
fact checking knowledge graph
Barrier certificates revisited
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2017/02/16
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
New local search methods for partial MaxSAT
期刊论文
ARTIFICIAL INTELLIGENCE, 2016
Cai, Shaowei
;
Luo, Chuan
;
Lin, Jinkun
;
Su, Kaile
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/12/03
Partial MaxSAT
Local search
Hard and soft score
Initialization
CORE-GUIDED MAXSAT
CARDINALITY CONSTRAINTS
CONFIGURATION CHECKING
INFERENCE RULES
SAT
ALGORITHMS
Android multi-level system permission management approach
期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015
Luo, Yang
;
Zhang, Qi-Xun
;
Shen, Qing-Ni
;
Liu, Hong-Zhi
;
Wu, Zhong-Hai
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/12/03
面向云存储的多副本文件完整性验证方案
期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1410-1416
付艳艳
;
张敏
;
陈开渠
;
冯登国
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
云存储
一致性
完整性
多副本
冗余存储
cloud storage
consistency
integrity
multiple copies
redundant storage
侵权责任的证成:基于立法、学理和法院判决的考察
期刊论文
2010, 2010
姜朋
;
JIANG Peng
收藏
  |  
浏览/下载:5/0
©版权所有 ©2017 CSpace - Powered by
CSpace