Recent deep learning models have advanced object detection capabilities, but their reliance on labeled data limits scalability. Fine-grained zero-shot detection remains challenging due to the need to generalize to uns...
详细信息
Aiming to solve the issues of large time cost, low efficiency, and high computational complexity in the design of cavity filters using traditional approaches, a multi-objective design approach for cavity filters based...
详细信息
Dhaka, known for its status as one of the world's most densely populated areas, grapples with numerous challenges associated with urbanization and safety. This study identifies accident-prone zones within the Dhak...
详细信息
It is a human machine interaction system. Human machine interaction using mouse and keyboard. People suffering from certain conditions or disorders cannot work at the computer. The idea of controlling computers with y...
详细信息
Identifying structural damage to commercial and industrial infrastructures (such as buildings, bridges, and roads) depends on being able to spot cracks, which are the first sign of serious concrete structural degradat...
详细信息
This paper proposes a multi-source data fusion algorithm based on the Dempster-Shafer (D-S) evidence theory, which aims to realize the fusion and processing of uncertain data through the geographic information system ...
详细信息
Hypernode logic can reason about the prefix relation on stutter-reduced finite traces through the stutter-reduced prefix predicate. We increase the expressiveness of hypernode logic in two ways. First, we split the st...
详细信息
ISBN:
(纸本)9783031765537;9783031765544
Hypernode logic can reason about the prefix relation on stutter-reduced finite traces through the stutter-reduced prefix predicate. We increase the expressiveness of hypernode logic in two ways. First, we split the stutter-reduced prefix predicate into an explicit stutter-reduction operator and the classical prefix predicate on words. This change gives hypernode logic the ability to combine synchronous and asynchronous reasoning by explicitly stating which parts of traces can stutter. Second, we allow the use of regular expressions in formulas to reason about the structure of traces. This change enables hypernode logic to describe a mixture of trace properties and hyperproperties. We show how to translate extended hypernode logic formulas into multi-track automata, which are automata that read multiple input words. Then we describe a fully online monitoring algorithm for monitoring k-safety hyperproperties specified in the logic. We have implemented the monitoring algorithm, and evaluated it on monitoring synchronous and asynchronous versions of observational determinism, and on checking the privacy preservation by compiler optimizations.
With the increasing integration of AGVs (Automated Guided Vehicles) and Robot Arms in manufacturing systems, traditional scheduling approaches that handle them separately often lead to inefficiencies and poor coordina...
详细信息
Time-delay differential equations have important applications in physical chemistry, engineering, information, economy, especially in biological mathematics and many other fields. In this paper, we study the existence...
详细信息
Lung cancer has become one of the primary causes of death worldwide due to cancer, which indicates the necessity of early diagnosis. In this regard, the present work proposes an optimized model of transfer learning ba...
详细信息
暂无评论