中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [6]
软件研究所 [4]
自动化研究所 [1]
采集方式
OAI收割 [11]
内容类型
期刊论文 [11]
发表日期
2024 [1]
2022 [1]
2021 [1]
2006 [2]
2005 [1]
2004 [2]
更多
学科主题
Computer S... [1]
Computer S... [1]
筛选
浏览/检索结果:
共11条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Keyframe Control of Music-Driven 3D Dance Generation
期刊论文
OAI收割
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2024, 卷号: 30, 期号: 7, 页码: 3474-3486
作者:
Yang, Zhipeng
;
Wen, Yu-Hui
;
Chen, Shu-Yu
;
Liu, Xiao
;
Gao, Yuan
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2024/12/06
Humanities
Animation
Three-dimensional displays
Deep learning
Probabilistic logic
Interpolation
Task analysis
3D animation
choreography
generative flows
multi-modal
music-driven
Joint Token and Feature Alignment Framework for Text-Based Person Search
期刊论文
OAI收割
IEEE SIGNAL PROCESSING LETTERS, 2022, 卷号: 29, 页码: 2238-2242
作者:
Li, Shangze
;
Lu, Andong
;
Huang, Yan
;
Li, Chenglong
;
Wang, Liang
  |  
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2023/01/10
Feature extraction
Visualization
Representation learning
Logic gates
Image reconstruction
Transformers
Training
Cross-modal generation
feature alignment
text-based person search
token alignment
transformer
Cross-Modal Knowledge Adaptation for Language-Based Person Search
期刊论文
OAI收割
IEEE TRANSACTIONS ON IMAGE PROCESSING, 2021, 卷号: 30, 页码: 4057-4069
作者:
Chen, Yucheng
;
Huang, Rui
;
Chang, Hong
;
Tan, Chuanqi
;
Xue, Tao
  |  
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2021/12/01
Feature extraction
Task analysis
Lighting
Learning systems
Logic gates
Knowledge engineering
Training
Language-based person search
cross-modal knowledge adaptation
image-specific information
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
期刊论文
OAI收割
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 368, 期号: 1-2, 页码: 149-160
作者:
Zhang, Zaiyue
;
Sui, Yuefei
;
Cao, Cungen
;
Wu, Guohua
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2019/12/16
propositional modal logic
duzzy reasoning
formal system
soundness and completeness
Further study of the fuzzy reasoning based on propositional modal logic
期刊论文
OAI收割
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 162-169
作者:
Zhang, Zaiyue
;
Sui, Yuefei
;
Ca, Cungen
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2019/12/16
propositional modal logic
fuzzy reasoning
formal system
educed set
Description of fuzzy first-order modal logic based on constant domain semantics
期刊论文
OAI收割
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS, 2005, 卷号: 3641, 页码: 642-650
作者:
Zhang, ZY
;
Sui, YF
;
Cao, CG
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/12/16
modal logic
fuzzy reasoning system
rough set
a predicate spatial logic for mobile processes
期刊论文
OAI收割
Science in China Series F-information Sciences, 2004, 卷号: 47, 期号: 3, 页码: 394-408
Lin Huimin
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2010/08/24
modal logic
predicate mu-calculus
model checking
mobile processes
asynchronous pi-calculus
Fuzzy reasoning based on propositional modal logic
期刊论文
OAI收割
ROUGH SETS AND CURRENT TRENDS IN COMPUTING, 2004, 卷号: 3066, 页码: 109-115
作者:
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/16
propositional modal logic
fuzzy assertion
fuzzy reasoning
probabilistic belief logic and its probabilistic aumann semantics
期刊论文
OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 卷号: 18, 期号: 5, 页码: 571-579
Cao ZN
;
Shi CY
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/29
modal logic
probabilistic belief logic
Aumann semantics
probabilistic Aumann semantics
on decidability and model checking for a first order modal logic for value-passing processes
期刊论文
OAI收割
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 卷号: 46, 期号: 1, 页码: 45-59
Xue R
;
Lin HM
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/07/29
first order modal logic
decidability
model checking
value-passing processes