Titlebook: Structured Object-Oriented Formal Language and Method; 11th International W Shaoying Liu,Zhenhua Duan,Ai Liu Conference proceedings 2023 Th

外觀

Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graphever, the complexity and variety of relationships between different data objects create difficulties in the derivation of graph algorithms, the correctness of algorithms cannot be easily guaranteed in some complex problems. In this paper, we formally derive the loop invariant of critical path by usi

Confirm

An Approach of Transforming Non-Markovian Reward to Markovian Rewardntelligent robot needs to check its power before sweeping. This kind of reward functions involves historical states, rather than a single current state. It is referred to as non-Markovian reward. However, state-of-the-art MDP (Markov Decision Process) planners only support Markovian reward. In this

Pastry

無彈性

Implementation of Matlab matfun Toolkit Based on MSVLrtant applications in artificial intelligence, big data and other fields. This paper makes use of the modeling, simulation and verification language MSVL to imitate all basic functions in the matfun function library, and gives several representative function algorithms and implementation details. Fi

令人不快

LAST

嚙齒動物

外貌

TAG

Defense

Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attacply deep learning to detect COVID-19, but little research has been done on the security of COVID-19 deep learning systems. Therefore, we test and verify the security of COVID-19 CT images deep learning system with adversarial attack. Firstly, we build a deep learning system for recognizing COVID-19