Zobrazeno 1 - 10
of 1 001
pro vyhledávání: '"XU, BOWEN"'
Given the increasing adoption of modern AI-enabled control systems, ensuring their safety and reliability has become a critical task in software testing. One prevalent approach to testing control systems is falsification, which aims to find an input
Externí odkaz:
http://arxiv.org/abs/2410.04986
Autor:
He, Junda, Xu, Bowen, Yang, Zhou, Han, DongGyun, Yang, Chengran, Liu, Jiakun, Zhao, Zhipeng, Lo, David
Stack Overflow is one of the most influential Software Question & Answer (SQA) websites, hosting millions of programming-related questions and answers. Tags play a critical role in efficiently organizing the contents in Stack Overflow and are vital t
Externí odkaz:
http://arxiv.org/abs/2408.02311
Unanticipated runtime errors, lacking predefined handlers, can abruptly terminate execution and lead to severe consequences, such as data loss or system crashes. Despite extensive efforts to identify potential errors during the development phase, suc
Externí odkaz:
http://arxiv.org/abs/2408.01055
Autor:
Lin, Yuxin, Ma, Jiaxuan, Gu, Sizhe, Kong, Jipeng, Xu, Bowen, Zhao, Xiting, Zhao, Dengji, Cao, Wenhan, Schwertfeger, Sören
Mobile robotics datasets are essential for research on robotics, for example for research on Simultaneous Localization and Mapping (SLAM). Therefore the ShanghaiTech Mapping Robot was constructed, that features a multitude high-performance sensors an
Externí odkaz:
http://arxiv.org/abs/2408.00545
Robotic datasets are important for scientific benchmarking and developing algorithms, for example for Simultaneous Localization and Mapping (SLAM). Modern robotic datasets feature video data of high resolution and high framerates. Storing and sharing
Externí odkaz:
http://arxiv.org/abs/2408.00538
Evaluating the performance of Simultaneous Localization and Mapping (SLAM) algorithms is essential for scientists and users of robotic systems alike. But there are a multitude different permutations of possible options of hardware setups and algorith
Externí odkaz:
http://arxiv.org/abs/2406.17586
AI assistance tools such as ChatGPT, Copilot, and Gemini have dramatically impacted the nature of software development in recent years. Numerous studies have studied the positive benefits that practitioners have achieved from using these tools in the
Externí odkaz:
http://arxiv.org/abs/2406.17325
This paper presents the ShanghaiTech Mapping Robot, a state-of-the-art unmanned ground vehicle (UGV) designed for collecting comprehensive multi-sensor datasets to support research in robotics, computer vision, and autonomous driving. The robot is eq
Externí odkaz:
http://arxiv.org/abs/2406.16713
Conditional independence tests are crucial across various disciplines in determining the independence of an outcome variable $Y$ from a treatment variable $X$, conditioning on a set of confounders $Z$. The Conditional Randomization Test (CRT) offers
Externí odkaz:
http://arxiv.org/abs/2405.19231
Recent work in automated program repair (APR) proposes the use of reasoning and patch validation feedback to reduce the semantic gap between the LLMs and the code under analysis. The idea has been shown to perform well for general APR, but its effect
Externí odkaz:
http://arxiv.org/abs/2405.15690