机构

• 计算技术研究所 [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条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 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