中文
相关论文

相关论文: Runway Sign Classifier: A DAL C Certifiable Machin…

200 篇论文

Deep learning (DL) has gained popularity in recent years as an effective tool for classifying the current health and predicting the future of industrial equipment. However, most DL models have black-box components with an underlying…

机器学习 · 计算机科学 2023-08-22 Hao Lu , Austin M. Bray , Chao Hu , Andrew T. Zimmerman , Hongyi Xu

Aspect Category Detection (ACD) aims to identify implicit and explicit aspects in a given review sentence. The state-of-the-art approaches for ACD use Deep Neural Networks (DNNs) to address the problem as a multi-label classification task.…

计算与语言 · 计算机科学 2024-04-09 Murtadha Ahmed , Qun Chen

Deep neural networks (DNNs) play a crucial role in the field of machine learning, demonstrating state-of-the-art performance across various application domains. However, despite their success, DNN-based models may occasionally exhibit…

机器学习 · 计算机科学 2024-07-02 Guy Amir , Osher Maayan , Tom Zelazny , Guy Katz , Michael Schapira

Deep learning (DL) techniques are on the rise in the software engineering research community. More and more approaches have been developed on top of DL models, also due to the unprecedented amount of software-related data that can be used…

软件工程 · 计算机科学 2021-03-23 Alejandro Mazuera-Rozo , Anamaria Mojica-Hanke , Mario Linares-Vásquez , Gabriele Bavota

In the context of globalization and the rapid expansion of the digital economy, anti-money laundering (AML) has become a crucial aspect of financial oversight, particularly in cross-border transactions. The rising complexity and scale of…

机器学习 · 计算机科学 2024-12-11 Qian Yu , Zhen Xu , Zong Ke

Automatic detection and recognition of traffic signs plays a crucial role in management of the traffic-sign inventory. It provides accurate and timely way to manage traffic-sign inventory with a minimal human effort. In the computer vision…

计算机视觉与模式识别 · 计算机科学 2019-04-02 Domen Tabernik , Danijel Skočaj

Artificial Intelligence (AI) methods are powerful tools for various domains, including critical fields such as avionics, where certification is required to achieve and maintain an acceptable level of safety. General solutions for…

Signature is widely used in human daily lives, and serves as a supplementary characteristic for verifying human identity. However, there is rare work of verifying signature. In this paper, we propose a few deep learning architectures to…

计算机视觉与模式识别 · 计算机科学 2019-12-12 Zihan Zeng , Jing Tian

Recently, deep neural networks (DNNs) have been the subject of intense research for the classification of radio frequency (RF) signals, such as synthetic aperture radar (SAR) imagery or micro-Doppler signatures. However, a fundamental…

信号处理 · 电气工程与系统科学 2018-11-21 Mehmet Saygin Seyfioglu , Baris Erol , Sevgi Zubeyde Gurbuz , Moeness G. Amin

Deep neural networks can be effective means to automatically classify aerial images but is easy to overfit to the training data. It is critical for trained neural networks to be robust to variations that exist between training and test…

计算机视觉与模式识别 · 计算机科学 2019-09-25 Jiayun Wang , Patrick Virtue , Stella X. Yu

Malware detection has become a major concern due to the increasing number and complexity of malware. Traditional detection methods based on signatures and heuristics are used for malware detection, but unfortunately, they suffer from poor…

密码学与安全 · 计算机科学 2023-08-21 Tristan Bilot , Nour El Madhoun , Khaldoun Al Agha , Anis Zouaoui

Most research using machine learning (ML) for network intrusion detection systems (NIDS) uses well-established datasets such as KDD-CUP99, NSL-KDD, UNSW-NB15, and CICIDS-2017. In this context, the possibilities of machine learning…

Increased biosecurity and food safety requirements may increase demand for efficient traceability and identification systems of livestock in the supply chain. The advanced technologies of machine learning and computer vision have been…

计算机视觉与模式识别 · 计算机科学 2022-10-18 Md Ekramul Hossain , Muhammad Ashad Kabir , Lihong Zheng , Dave L. Swain , Shawn McGrath , Jonathan Medway

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

人工智能 · 计算机科学 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer

This review covers the new developments in machine learning (ML) that are impacting the multi-disciplinary area of aerospace engineering, including fundamental fluid dynamics (experimental and numerical), aerodynamics, acoustics, combustion…

Deep neural networks (DNNs) have a wide range of applications, and software employing them must be thoroughly tested, especially in safety-critical domains. However, traditional software test coverage metrics cannot be applied directly to…

机器学习 · 计算机科学 2019-04-16 Youcheng Sun , Xiaowei Huang , Daniel Kroening , James Sharp , Matthew Hill , Rob Ashmore

Aerial robots such as drones have been leveraged to perform bridge inspections. Inspection images with both recognizable structural elements and apparent surface defects can be collected by onboard cameras to provide valuable information…

计算机视觉与模式识别 · 计算机科学 2022-09-07 Chenyu Zhang , Muhammad Monjurul Karim , Zhaozheng Yin , Ruwen Qin

The proliferation of global censorship has led to the development of a plethora of measurement platforms to monitor and expose it. Censorship of the domain name system (DNS) is a key mechanism used across different countries. It is…

Unmanned Aerial Vehicles (UAV) can pose a major risk for aviation safety, due to both negligent and malicious use. For this reason, the automated detection and tracking of UAV is a fundamental task in aerial security systems. Common…

计算机视觉与模式识别 · 计算机科学 2022-11-23 Brian K. S. Isaac-Medina , Matt Poyser , Daniel Organisciak , Chris G. Willcocks , Toby P. Breckon , Hubert P. H. Shum

The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assurance principles. In traditional system development,…

机器学习 · 计算机科学 2020-02-11 Taejoon Byun , Sanjai Rayadurgam