×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [3]
安徽大学 [2]
辽宁师范大学 [2]
西安交通大学 [1]
华南理工大学 [1]
内容类型
期刊论文 [9]
发表日期
2016 [1]
2015 [3]
2014 [1]
2013 [2]
2005 [1]
2003 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共9条，第1-9条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Model checking computation tree logic over finite lattices
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Ma, Zhanyou
收藏
|
浏览/下载：3/0
|
提交时间：2017/12/03
Model checking
Computation tree logic
Lattice
Weighted automata
QUANTUM LOGIC
MULTIVALUED LOGICS
AUTOMATA
TIME
Lattice-valued simulations for quantitative transition systems
期刊论文
international journal of approximate reasoning, 2015
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
收藏
|
浏览/下载：3/0
|
提交时间：2015/11/11
Simulation
Fuzzy automata
Hennessy-Milner logic
Residuated lattices
Heyting algebra
RESIDUATED LATTICE
FUZZY AUTOMATA
PROBABILISTIC PROCESSES
INFERENCE METHOD
LOGIC
BISIMULATIONS
ROBUSTNESS
DISTANCE
METRICS
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility (EI收录)
期刊论文
International Journal of Computational Intelligence Systems, 2015, 卷号: 8, 页码: 53-61
作者:
Zou, Li[1]
;
Zhang, Yunxia[1]
;
Liu, Xin[2]
收藏
|
浏览/下载：3/0
|
提交时间：2019/04/25
Algebra
Approximation theory
Behavioral research
Decision making
Knowledge based systems
Knowledge representation
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility
期刊论文
International Journal of Computational Intelligence Systems, 2015, 卷号: Vol.8 No.1, 页码: 53-61
作者:
Li Zou
;
Yunxia Zhang
;
Xin Liu
收藏
|
浏览/下载：4/0
|
提交时间：2019/02/27
Approximate
Reasoning
Knowledge
Representation
Linguistic-Valued
Credibility
Factor
Lattice
Implication
Algebra
Simulation for lattice-valued doubly labeled transition systems
期刊论文
international journal of approximate reasoning, 2014
Pan, Haiyu
;
Cao, Yongzhi
;
Zhang, Min
;
Chen, Yixiang
收藏
|
浏览/下载：6/0
|
提交时间：2015/11/11
Simulation
Fuzzy automata
Residuated lattices
Hennessy-Milner logic
Transition systems
MULTIVALUED MODEL-CHECKING
RESIDUATED LATTICE
FUZZY AUTOMATA
LOGIC
ROBUSTNESS
BISIMULATIONS
GAMES
On an algebra of linguistic truth-valued intuitionistic lattice-valued logic
期刊论文
Journal of Intelligent and Fuzzy Systems, 2013, 卷号: Vol.24 No.3, 页码: 447-456
作者:
Li Zou
;
Peng Shi
;
Zheng Pei
;
Yang Xu
收藏
|
浏览/下载：2/0
|
提交时间：2019/02/27
Lattice
implication
algebra
linguistic
truth-valued
intuitionistic
fuzzy
lattice
logic
algebra
Lattice-valued information systems based on dominance relation
期刊论文
INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2013, 卷号: 4, 期号: [db:dc_citation_issue], 页码: 245-257
作者:
Xu, Weihua
;
Liu, Shihu
;
Zhang, Wenxiu
收藏
|
浏览/下载：5/0
|
提交时间：2019/12/10
Attribute reduction
Lattice-valued information systems
Dominance relation
Dempster-Shafer theory of evidence
Rough set
Block Time-Recursive Real-Valued Discrete Gabor Transform Implemented by Unified Parallel Lattice Structures
期刊论文
IEICE Transactions on Information and Systems, 2005, 卷号: E88-D No.7, 页码: 1472-1478
作者:
Nonmembers
;
Hon Keung KWAN
;
Liang TAO
收藏
|
浏览/下载：2/0
|
提交时间：2019/04/24
real-valued
discrete
Gabor
transforms
parallel
lattice
structure
block
time-recursive
algorithms
discrete
Hartley
transform
Unified Parallel Lattice Structures for Block Time-Recursive Real-Valued Discrete Gabor Transforms
期刊论文
Journal of Computer Science and Technology, 2003, 卷号: Vol.18Part1, 页码: 90-90
作者:
ZhenQuan Zhuang
;
Liang Tao
收藏
|
浏览/下载：3/0
|
提交时间：2019/04/24
Parallel
processing
systems
Time
sharing
systems
Recursive
functions
Real
time
systems
Mathematical
transformations
One
dimensional
Computational
complexity
Algorithms
©版权所有 ©2017 CSpace - Powered by
CSpace
