机构

• 地理科学与资源研究所 [3]
• 软件研究所 [2]
• 数学与系统科学研究院 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [7]

内容类型

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

发表日期

• 2024 [1]
• 2022 [1]
• 2020 [2]
• 2018 [1]
• 2006 [2]

学科主题

筛选

浏览/检索结果: 共7条，第1-7条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Assessment of the mechanization level of livestock and poultry breeding: a case study in Hubei Province, China 期刊论文  OAI收割 ENVIRONMENT DEVELOPMENT AND SUSTAINABILITY, 2024, 页码: 18 作者:  Yan, Bojie;  Li, Yaxing;  Yan, Jingjie;  Shi, Wenjiao   |  收藏  |  浏览/下载：16/0  |  提交时间：2024/04/30 Mechanization level  Livestock and poultry breeding  Assessment model  Space partition   A Dynamic Resource Allocation Strategy with Reinforcement Learning for Multimodal Multi-objective Optimization 期刊论文  OAI收割 Machine Intelligence Research, 2022, 卷号: 19, 期号: 2, 页码: 138-152 作者:  Qian-Long Dang;  Wei Xu;  Yang-Fei Yuan   |  收藏  |  浏览/下载：3/0  |  提交时间：2024/04/23 Multimodal multi-objective optimization (MMO)  dynamic resource allocating strategy (DRAS)  reinforcement learning (RL)  decision space partition  zoning search   Predicting future locations of moving objects with deep fuzzy-LSTM networks 期刊论文  OAI收割 TRANSPORTMETRICA A-TRANSPORT SCIENCE, 2020, 卷号: 16, 期号: 1, 页码: 119-136 作者:  Li, Mingxiao   |  收藏  |  浏览/下载：105/0  |  提交时间：2020/05/19 Location prediction  fuzzy space partition  mobile phone data  trajectory data mining  deep learning   Predicting future locations of moving objects with deep fuzzy-LSTM networks 期刊论文  OAI收割 TRANSPORTMETRICA A-TRANSPORT SCIENCE, 2020, 卷号: 16, 期号: 1, 页码: 119-136 作者:  Li, Mingxiao;  Lu, Feng;  Zhang, Hengcai;  Chen, Jie   |  收藏  |  浏览/下载：36/0  |  提交时间：2020/05/19 Location prediction  fuzzy space partition  mobile phone data  trajectory data mining  deep learning   A Lindelof group with non-Lindelof square 期刊论文  OAI收割 ADVANCES IN MATHEMATICS, 2018, 卷号: 325, 页码: 215-242 作者:  Peng, Yinhe;  Wu, Liuzhen   |  收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30 Minimal walk  Lindelof topological group  Strong negative partition relation  L space   ltl model checking via search space partition 会议论文  OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/28 LTL model checking  complexity reduction  compositional verification  memory requirement  nondeterministic choice  search space partition  state space explosion  computational complexity  formal verification  search problems   ltl model checking via search space partition 会议论文  OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/28 LTL model checking  complexity reduction  compositional verification  memory requirement  nondeterministic choice  search space partition  state space explosion  computational complexity  formal verification  search problems