中文
相关论文

相关论文: Scaling Model Checking for DNN Analysis via State-…

200 篇论文

Deep Neural Networks (DNNs) are widely used for their ability to effectively approximate large classes of functions. This flexibility, however, makes the strict enforcement of constraints on DNNs an open problem. Here we present a framework…

机器学习 · 计算机科学 2023-02-10 Eric Marcus , Ray Sheombarsing , Jan-Jakob Sonke , Jonas Teuwen

Named entity recognition (NER) is the task to detect and classify the entity spans in the text. When entity spans overlap between each other, this problem is named as nested NER. Span-based methods have been widely used to tackle the nested…

计算与语言 · 计算机科学 2022-09-16 Hang Yan , Yu Sun , Xiaonan Li , Xipeng Qiu

A deep neural network (DNN) with piecewise linear activations can partition the input space into numerous small linear regions, where different linear functions are fitted. It is believed that the number of these regions represents the…

机器学习 · 计算机科学 2020-04-30 Xiao Zhang , Dongrui Wu

Powered by machine learning services in the cloud, numerous learning-driven mobile applications are gaining popularity in the market. As deep learning tasks are mostly computation-intensive, it has become a trend to process raw data on…

机器学习 · 计算机科学 2021-06-16 Shuang Zhang , Liyao Xiang , Congcong Li , Yixuan Wang , Quanshi Zhang , Wei Wang , Bo Li

Deep neural networks (DNNs) are increasingly being deployed in safety-critical systems such as personal healthcare devices and self-driving cars. In such DNN-based systems, error resilience is a top priority since faults in DNN inference…

机器学习 · 计算机科学 2021-12-28 Behnam Ghavami , Mani Sadati , Zhenman Fang , Lesley Shannon

Deep neural networks (DNNs) are increasingly used in safety-critical applications. Reliable fault analysis and mitigation are essential to ensure their functionality in harsh environments that contain high radiation levels. This study…

机器学习 · 计算机科学 2025-02-14 Toon Vinck , Naïn Jonckers , Gert Dekkers , Jeffrey Prinzie , Peter Karsmakers

Spiking neural networks (SNNs) are promising in a bio-plausible coding for spatio-temporal information and event-driven signal processing, which is very suited for energy-efficient implementation in neuromorphic hardware. However, the…

神经与进化计算 · 计算机科学 2020-12-21 Hanle Zheng , Yujie Wu , Lei Deng , Yifan Hu , Guoqi Li

Recurrent Neural Networks (RNN) are widely used to solve a variety of problems and as the quantity of data and the amount of available compute have increased, so have model sizes. The number of parameters in recent state-of-the-art networks…

机器学习 · 计算机科学 2017-11-08 Sharan Narang , Erich Elsen , Gregory Diamos , Shubho Sengupta

Artificial neural networks (ANNs) have demonstrated outstanding performance in numerous tasks, but deployment in resource-constrained environments remains a challenge due to their high computational and memory requirements. Spiking neural…

机器学习 · 计算机科学 2025-06-04 Chang Liu , Jiangrong Shen , Xuming Ran , Mingkun Xu , Qi Xu , Yi Xu , Gang Pan

Real-time lightweight time series anomaly detection has become increasingly crucial in cybersecurity and many other domains. Its ability to adapt to unforeseen pattern changes and swiftly identify anomalies enables prompt responses and…

机器学习 · 计算机科学 2024-07-29 Ming-Chang Lee , Jia-Chun Lin , Sokratis Katsikas

During the past decade, machine learning has become extremely popular and can be found in many aspects of our every day life. Nowayadays with explosion of data while rapid growth of computation capacity, Distributed Deep Neural Networks…

分布式、并行与集群计算 · 计算机科学 2016-12-16 Sayed Hadi Hashemi , Shadi A. Noghabi , William Gropp , Roy H Campbell

Due to the vast testing space, the increasing demand for effective and efficient testing of deep neural networks (DNNs) has led to the development of various DNN test case prioritization techniques. However, the fact that DNNs can deliver…

软件工程 · 计算机科学 2024-09-17 Jialuo Chen , Jingyi Wang , Xiyue Zhang , Youcheng Sun , Marta Kwiatkowska , Jiming Chen , Peng Cheng

Currently, Machine Learning (ML) is becoming ubiquitous in everyday life. Deep Learning (DL) is already present in many applications ranging from computer vision for medicine to autonomous driving of modern cars as well as other sectors in…

硬件体系结构 · 计算机科学 2020-12-22 Maurizio Capra , Beatrice Bussolino , Alberto Marchisio , Guido Masera , Maurizio Martina , Muhammad Shafique

Deep learning (DL) has achieved remarkable progress in the field of medical imaging. However, adapting DL models to medical tasks remains a significant challenge, primarily due to two key factors: (1) architecture selection, as different…

计算机视觉与模式识别 · 计算机科学 2025-04-24 Lotfi Abdelkrim Mecharbat , Ibrahim Almakky , Martin Takac , Mohammad Yaqub

Bayesian Neural Networks (BNNs) offer a principled and natural framework for proper uncertainty quantification in the context of deep learning. They address the typical challenges associated with conventional deep learning methods, such as…

统计计算 · 统计学 2024-11-13 Zahra Moslemi , Yang Meng , Shiwei Lan , Babak Shahbaba

Convolutional neural networks (CNNs) demand huge DRAM bandwidth for computational imaging tasks, and block-based processing has recently been applied to greatly reduce the bandwidth. However, the induced additional computation for feature…

机器学习 · 计算机科学 2020-01-31 Chao-Tsung Huang

Deep neural networks (DNNs) have become ubiquitous thanks to their remarkable ability to model complex patterns across various domains such as computer vision, speech recognition, robotics, etc. While large DNN models are often more…

机器学习 · 计算机科学 2025-11-18 Omkar Shende , Gayathri Ananthanarayanan , Marcello Traiola

Deep neural networks (DNNs) are being widely applied for various real-world applications across domains due to their high performance (e.g., high accuracy on image classification). Nevertheless, a well-trained DNN after deployment could…

机器学习 · 计算机科学 2020-11-20 Bing Yu , Hua Qi , Qing Guo , Felix Juefei-Xu , Xiaofei Xie , Lei Ma , Jianjun Zhao

Deep neural networks (DNNs) are widely used in pattern-recognition tasks for which a human comprehensible, quantitative description of the data-generating process, e.g., in the form of equations, cannot be achieved. While doing so, DNNs…

机器学习 · 计算机科学 2022-10-12 Antoine Garcon , Julian Vexler , Dmitry Budker , Stefan Kramer

Deep neural networks (DNNs) are typically optimized using various forms of mini-batch gradient descent algorithm. A major motivation for mini-batch gradient descent is that with a suitably chosen batch size, available computing resources…

机器学习 · 计算机科学 2022-10-25 Oyebade K. Oyedotun , Konstantinos Papadopoulos , Djamila Aouada