Technological advancements in AI and Robotics are facilitating the development of sign language robots, which are resolving communication barriers for people living with disabilities. The current work aims to develop ...
详细信息
In contrast to the conventional IP-based architecture, Named Data Networking (ndN) provides a content-centric, secure, efficient, and scalable network approach, making it suitable for various applications such as cont...
详细信息
In the burgeoning field of vertical farming, real-time monitoring andcontrol systems have become pivotal for optimizing growth conditions and resource utilization. This paper details the design, construction, and imp...
详细信息
In the complex world of modern telecommunication networks, Baseband Unit (BBU) pools play a crucial role in optimizing data processing and minimizing response time. This paper presents the Adaptive Queue Dynamics (AQD...
详细信息
The proceedings contain 28 papers. The special focus in this conference is on Bridging the Gap Between AI and Reality. The topics include: Responsible and Trusted AI: An Interdisciplinary Perspective;team Design Patte...
ISBN:
(纸本)9783031754333
The proceedings contain 28 papers. The special focus in this conference is on Bridging the Gap Between AI and Reality. The topics include: Responsible and Trusted AI: An Interdisciplinary Perspective;team Design Patterns for Meaningful Human control in Responsible Military Artificial Intelligence;transparent Transparency Developing a Scheme for Understanding Transparency Requirements;AI Act for the Working Programmer;AI Assisted Programming: (AISoLA 2024 Track Introduction);SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning;Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software;proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase;LLM-Based Scheme for Synthesis of Formal Verification Algorithms;verification and Learning for Assured Autonomy;a Comparison of Monitoring Techniques for Deep Neural Networks;efficient Shield Synthesis via State-Space Transformation;Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges;A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL;Systematic Translation from Natural Language Robot Task Descriptions to STL;it’s Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games;monitoring Safety and Reliability of Underwater Robots: A Case Study;statistical Model Checking the 2024 Edition!;Reinforcement Learning for Discretized Euclidean MDPs;adaptive Stopping Algorithms Based on Concentration Inequalities;digging for Decision Trees: A Case Study in Strategy Sampling and Learning;statistical Analysis of the Impact of Bit-Flips in Security Critical Code;statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa;On SMC-Based Dependability Analysis in LoLiPoP-IoT Project;Towards Verifying Robotic Systems Using Statistical Model Checking in STORM.
First and foremost, we present a novel scheme for controlling the cursor based on eye movement. Other strategies rely on physical items like touchpads or a mouse and place strict requirements on people with motor hand...
详细信息
Ultrasound, imperceptible to the human ear, emerges as a potent carrier of information. Exploiting its covert nature, a growing number of both malicious entities and researchers delve into its potential privacy threat...
详细信息
Smart agriculture mainly stresses the improvements in early plant disease diagnostics, crop classification and management, and effective pest control. Maize being an important staple crop necessitates early and accura...
详细信息
In recent years, due to the proliferation of information and communication technology, as well as AI technology, industrial control systems, which were once in a closed network environment, have also integrated relate...
详细信息
The rapid advancement of artificial intelligence and mobile communication technologies has brought unprecedented convenience, but also significant privacy and security concerns, particularly in real-time video communi...
详细信息
暂无评论