会员服务
AI for Requirements Engineering: Industry adoption and Practitioner perspectives
Arxiv
0+阅读 · 11月5日
AI for Requirements Engineering: Industry adoption and Practitioner perspectives
Arxiv
0+阅读 · 11月4日
Parameterized Verification of Quantum Circuits (Technical Report)
Arxiv
0+阅读 · 12月2日
Parameterized Verification of Quantum Circuits (Technical Report)
Arxiv
0+阅读 · 12月1日
Parameterized Verification of Quantum Circuits (Technical Report)
Arxiv
0+阅读 · 11月25日
Instruction-Guided Lesion Segmentation for Chest X-rays with Automatically Generated Large-Scale Dataset
Arxiv
0+阅读 · 11月19日
Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects
Arxiv
0+阅读 · 11月10日
Advancing LLM-Based Security Automation with Customized Group Relative Policy Optimization for Zero-Touch Networks
Arxiv
0+阅读 · 12月10日
Automated Expected Value Analysis of Recursive Programs
Arxiv
0+阅读 · 2023年4月3日
A Fully-automatic Side-scan Sonar SLAM Framework
Arxiv
0+阅读 · 2023年4月4日
Explain, Adapt and Retrain: How to improve the accuracy of a PPM classifier through different explanation styles
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top