With the dramatic increase in video surveillance applications and public safety measures,the need for an accurate and effective system for abnormal/sus-picious activity classification also *** it has multiple applicati...
详细信息
With the dramatic increase in video surveillance applications and public safety measures,the need for an accurate and effective system for abnormal/sus-picious activity classification also *** it has multiple applications,the problem is very *** this paper,a novel approach for detecting nor-mal/abnormal activity has been *** used the Gaussian Mixture Model(GMM)and Kalmanfilter to detect and track the objects,*** that,we performed shadow removal to segment an object and its *** object segmentation we performed occlusion detection method to detect occlusion between multiple human silhouettes and we implemented a novel method for region shrinking to isolate occluded *** c-mean is utilized to verify human silhouettes and motion based features including velocity and opticalflow are extracted for each identified *** Wolf Optimizer(GWO)is used to optimize feature set followed by abnormal event classification that is performed using the XG-Boost classifi*** system is applicable in any surveillance appli-cation used for event detection or anomaly *** of proposed system is evaluated using University of Minnesota(UMN)dataset and UBI(Uni-versity of Beira Interior)-Fight dataset,each having different type of *** mean accuracy for the UMN and UBI-Fight datasets is 90.14%and 76.9%*** results are more accurate as compared to other existing methods.
Can artists be recognized from the way they render certain materials, such as fabric, skin, or hair? In this paper, we study this problem with a focus on recognizing works by Rembrandt, Van Dyck, and other Dutch and F...
详细信息
Over the past 20 years, there has been a surge of diabetes cases in Iraq. Blood tests administered in the absence of professional medical judgment have allowed for the early detection of diabetes, which will fasten di...
详细信息
Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syn...
详细信息
Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation *** demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named *** experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural *** can be further developed as a CASE tool for the software industry.
Smart farming with outdoor monitoring systems is critical to address food shortages and sustainability *** systems facilitate informed decisions that enhance efficiency in broader environmental *** outdoor systems equ...
详细信息
Smart farming with outdoor monitoring systems is critical to address food shortages and sustainability *** systems facilitate informed decisions that enhance efficiency in broader environmental *** outdoor systems equipped with energy harvesters and self-powered sensors often struggle with fluctuating energy sources,low durability under harsh conditions,non-transparent or non-biocompatible materials,and complex ***,a multifunctional hydrogel is developed,which can fulfill all the above requirements and build selfsustainable outdoor monitoring systems solely by *** can serve as a stable energy harvester that continuously generates direct current output with an average power density of 1.9 W m^(-3)for nearly 60 days of operation in normal environments(24℃,60%RH),with an energy density of around 1.36×10^(7)J m^(-3).It also shows good self-recoverability in severe environments(45℃,30%RH)in nearly 40 days of continuous ***,this hydrogel enables noninvasive and self-powered monitoring of leaf relative water content,providing critical data on evaluating plant health,previously obtainable only through invasive or high-power consumption *** potential extends to acting as other self-powered environmental *** multifunctional hydrogel enables self-sustainable outdoor systems with scalable and low-cost production,paving the way for future agriculture.
This research presents a modern framework that combine quantum computing and blockchain technologies to transform city management in provision for the 6G era. Quantum computing is recognized for its extraordinary proc...
详细信息
The introduction of the next generations' mobile communications, 5 G -Advance and 6G (5G-A/6G), promises boosting data throughput to new dimensions, achieving submillisecond latency, and providing wider coverage. ...
详细信息
The mutation is a critical element in determining the proteins’stability,becoming a core element in portraying the effects of a drug in the pharmaceutical *** wet laboratory tests to provide a better perspective on p...
详细信息
The mutation is a critical element in determining the proteins’stability,becoming a core element in portraying the effects of a drug in the pharmaceutical *** wet laboratory tests to provide a better perspective on protein mutations is expensive and time-intensive since there are so many potential muta-tions,computational approaches that can reliably anticipate the consequences of amino acid mutations are *** work presents a robust methodology to analyze and identify the effects of mutation on a single protein ***,the context in a collection of words is determined using a knowledge graph for feature selection *** proposed prediction is based on an easier and sim-pler logistic regression inferred binary classification *** approach can able to obtain a classification accuracy(AUC)Area Under the Curve of 87%when randomly validated against experimental energy ***,for each cross-fold validation,the precision,recall,and F-Score are *** results support the validity of our strategy since it performs the vast majority of prior studies in this domain.
Dispensing generic drugs instead of original drugs from pharmacies may cause adverse drug events to patients. It is difficult to separate between generic drugs and originals due to their similarities, except for impri...
详细信息
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com...
详细信息
ISBN:
(纸本)9798350351507
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and
暂无评论