Electric bicycles (e-bikes) have gained considerable popularity due to their environmentally friendly nature and suitability as a mode of transportation. However, they face challenges related to manual switches for po...
详细信息
Traditional supervised learning has achieved high accuracy in crack detection tasks. However, due to the complex pavement situation, it often requires millions of data to train model in industry. It is difficult to pr...
详细信息
The development of the Internet of Things has increased the demand for real-time communication and computing in user equipments (UEs), which is a challenge for the limited battery capacity and computing power of UEs. ...
详细信息
Water Quality plays an essential role in assessing environmental health, which has profound implications for both ecosystems and human well-being. In this work, various machine learning models including Logistic Regre...
详细信息
There is an urgent need to emphasize and integrate Formal Methods into the undergraduate curriculum in Computer Science in the United States. We are entering an age defined by a highly interconnected, ubiquitous compu...
详细信息
ISBN:
(纸本)9783031606977;9783031606984
There is an urgent need to emphasize and integrate Formal Methods into the undergraduate curriculum in Computer Science in the United States. We are entering an age defined by a highly interconnected, ubiquitous computing environment, with a large AI component. Knowing the precise capability of our systems is particularly vital to safeguard safety-critical and mission-critical applications. In such an environment, the lack of a well-structured exposure to formal methods is a serious shortcoming in our computing curricula. We examine the curricular, pedagogical, and organizational challenges involved in bringing Formal Methods into the mainstream of computing disciplines, note efforts made to address the challenges, and suggest further initiatives to help address them.
The strengths of soft computing and machine learning based algorithms are being harnessed globally to improve and optimize power system performance. One such application happens to be load forecasting in power systems...
详细信息
Incorporating Internet of Things (IoT) algorithms, Ensemble learning, and Explainable AI (XAI) into the Reinforcement learning framework provides a comprehensive solution. The framework's dynamic paradigm for prec...
详细信息
Underwater image processing has been an active research topic over the past few years as interest in marine observation and the use of ocean resources has increased. Different from conventional images, marine ecosyste...
详细信息
This article is based on reinforcement learning theory, constructs a complete real-time environment map, and designs a dynamic path planning method for Automated Guide Vehicle(Hereinafter referred to as AGV) in mixed ...
详细信息
Potato cultivation plays a pivotal and exceedingly significant role in global agriculture, serving as an indispensable staple food source for millions of people around the world. Nevertheless, the sustained well-being...
详细信息
暂无评论