An enhanced approach for recognizing beverage-type items was suggested, which relies on YOLOv8 and addresses the issue of tiny object identification accuracy being lower than that of big objects. First, the neural net...
详细信息
With special consideration of the demand of indoor location, this paper discussed a method which is based on UWB(Ultra Wide Band), TOA(Time of Arrival),and combines Chan's algorithm and Taylor series algorithm. Fi...
详细信息
Diabetes is known as one of the most widespread diseases in the world that can affect any age group, from children to older adults. Measuring blood glucose concentration is essential for patients with diabetes, as the...
详细信息
Self-play theory is an important branch of reinforcement learning. Different levels of complexity in scenarios are also necessary to make reinforcement learning more sophisticated. In this paper, a new reinforcement l...
详细信息
In light of the serious modal aliasing problem in the traditional empirical mode decomposition method and the difficulty in selecting parameters in the variational mode decomposition method, which results in unsatisfa...
详细信息
In the field of engineering and economics, we frequently face challenges where several goals must be optimized simultaneously. Such scenarios fall under the category of multi-criteria decision-making, specifically kno...
详细信息
Designing a pipeline for a multicore processor is difficult. One major challenge is designing it such that the pipeline correctly enforces the intended memory consistency model (MCM). We have developed the PipeGen des...
详细信息
ISBN:
(数字)9798400706318
ISBN:
(纸本)9798400706318
Designing a pipeline for a multicore processor is difficult. One major challenge is designing it such that the pipeline correctly enforces the intended memory consistency model (MCM). We have developed the PipeGen design automation tool to allow architects to start with a single core pipeline that only enforces single-threaded correctness and automatically transform it to enforce a given MCM. Our key innovation is a set of compiler-like transformations that codify three different ways of enforcing memory ordering at the pipeline. We have validated that PipeGen correctly enforces the ARMv8 and x86TSO MCMs on three distinct pipeline implementations, using litmus tests with the Murphi model checker.
Designing an effective controller for air handling units (AHUs) is a critical challenge in modern heating, ventilation, and air conditioning (HVAC) systems, where ensuring both energy efficiency and maintaining desire...
详细信息
The paper investigates changes in microstate dynamics across various schizophrenia stages. Changes in microstate dynamics across schizophrenia stages can be detected through K-means clustering of EEG data. Machine lea...
详细信息
One of the main ways to ensure the correctness of programs is deductive verification. This method is based on formalizing the program and its requirements as logical formulas. If these formulas are proven, the program...
详细信息
暂无评论