机构

• 软件研究所 [2]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [2]
• 期刊论文 [1]

发表日期

• 2020 [1]
• 2011 [1]
• 2005 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2020, 卷号: 209, 页码: 21 作者:  Li, Weizhuo;  Zhang, Songmao   |  收藏  |  浏览/下载：33/0  |  提交时间：2021/01/14 Mapping validation and repair  Biomedical ontologies  Probabilistic description logics  Belief revision   probabilistic model checking on propositional projection temporal logic 会议论文  OAI收割 International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16, Yang Xiaoxiao 收藏  |  浏览/下载：18/0  |  提交时间：2011/10/10 Algorithms  Computer hardware  Computer science  Engineers  Markov processes  Probabilistic logics  Temporal logic   probabilistic behavior of sensor network localization 会议论文  OAI收割 ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, 40849 Cui Xun-Xue; Zhao Zhan; Tao Qing   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/28 Algorithms  Computer networks  Local area networks  Measurements  Probabilistic logics  Theorem proving  Wireless telecommunication systems