English
Related papers

Related papers: Pruning Boolean d-DNNF Circuits Through Tseitin-Aw…

200 papers

By chaining a sequence of differentiable invertible transformations, normalizing flows (NF) provide an expressive method of posterior approximation, exact density evaluation, and sampling. The trend in normalizing flow literature has been…

Machine Learning · Computer Science 2020-10-20 Robert Giaquinto , Arindam Banerjee

Model compression techniques are recently gaining explosive attention for obtaining efficient AI models for various real-time applications. Channel pruning is one important compression strategy and is widely used in slimming various DNNs.…

Computer Vision and Pattern Recognition · Computer Science 2021-09-09 Yi Guo , Huan Yuan , Jianchao Tan , Zhangyang Wang , Sen Yang , Ji Liu

Fault-aware retraining has emerged as a prominent technique for mitigating permanent faults in Deep Neural Network (DNN) hardware accelerators. However, retraining leads to huge overheads, specifically when used for fine-tuning large DNNs…

Hardware Architecture · Computer Science 2023-05-23 Muhammad Abdullah Hanif , Muhammad Shafique

The success of Deep Neural Network (DNN) models significantly depends on the quality of provided annotations. In medical image segmentation, for example, having multiple expert annotations for each data point is common to minimize…

Computer Vision and Pattern Recognition · Computer Science 2025-02-12 Asma Ahmed Hashmi , Aigerim Zhumabayeva , Nikita Kotelevskii , Artem Agafonov , Mohammad Yaqub , Maxim Panov , Martin Takáč

Diffusion Transformers have demonstrated remarkable capabilities in image generation but often come with excessive parameterization, resulting in considerable inference overhead in real-world applications. In this work, we present…

Computer Vision and Pattern Recognition · Computer Science 2024-12-03 Gongfan Fang , Kunjun Li , Xinyin Ma , Xinchao Wang

Circuit knitting emerges as a promising technique to overcome the limitation of the few physical qubits in near-term quantum hardware by cutting large quantum circuits into smaller subcircuits. Recent research in this area has been…

Hardware Architecture · Computer Science 2024-09-09 Xiangyu Ren , Mengyu Zhang , Antonio Barbalace

We consider the problem EnumIP of enumerating prime implicants of Boolean functions represented by decision decomposable negation normal form (dec-DNNF) circuits. We study EnumIP from dec-DNNF within the framework of enumeration complexity…

Artificial Intelligence · Computer Science 2023-02-01 Alexis de Colnet , Pierre Marquis

Deep network pruning is an effective method to reduce the storage and computation cost of deep neural networks when applying them to resource-limited devices. Among many pruning granularities, neuron level pruning will remove redundant…

Computer Vision and Pattern Recognition · Computer Science 2017-03-30 Zhengtao Wang , Ce Zhu , Zhiqiang Xia , Qi Guo , Yipeng Liu

Recent DNN pruning algorithms have succeeded in reducing the number of parameters in fully connected layers, often with little or no drop in classification accuracy. However, most of the existing pruning schemes either have to be applied…

Machine Learning · Computer Science 2018-03-13 Konstantinos Pitas , Mike Davies , Pierre Vandergheynst

We introduced decomposable negation normal form (DNNF) recently as a tractable form of propositional theories, and provided a number of powerful logical operations that can be performed on it in polynomial time. We also presented an…

Artificial Intelligence · Computer Science 2007-05-23 Adnan Darwiche

Vision Transformers (ViTs) lack the hierarchical inductive biases inherent to Convolutional Neural Networks (CNNs), theoretically allowing them to maintain high-dimensional representations throughout all layers. However, recent observations…

Computer Vision and Pattern Recognition · Computer Science 2025-12-09 Kanishk Awadhiya

Large sky surveys are increasingly relying on image subtraction pipelines for real-time (and archival) transient detection. In this process one has to contend with varying PSF, small brightness variations in many sources, as well as…

Instrumentation and Methods for Astrophysics · Physics 2018-04-25 Nima Sedaghat , Ashish Mahabal

Circuit cutting decomposes a large quantum circuit into smaller subcircuits whose outputs are classically reconstructed to recover original expectation values. While prior work characterises cutting overhead via subcircuit counts and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-07 Prabhjot Singh , Adel N. Toosi , Rajkumar Buyya

Tsetlin Machines (TMs) have emerged as a compelling alternative to conventional deep learning methods, offering notable advantages such as smaller memory footprint, faster inference, fault-tolerant properties, and interpretability. Although…

Machine Learning · Computer Science 2024-11-14 K. Darshana Abeyrathna , Sara El Mekkaoui , Andreas Hafver , Christian Agrell

Deep neural networks (DNNs) have been emerged as the state-of-the-art algorithms in broad range of applications. To reduce the memory foot-print of DNNs, in particular for embedded applications, sparsification techniques have been proposed.…

Machine Learning · Computer Science 2019-11-13 Foroozan Karimzadeh , Ningyuan Cao , Brian Crafton , Justin Romberg , Arijit Raychowdhury

It is widely known that very small datasets produce overfitting in Deep Neural Networks (DNNs), i.e., the network becomes highly biased to the data it has been trained on. This issue is often alleviated using transfer learning,…

Computer Vision and Pattern Recognition · Computer Science 2020-07-02 Manuel Rey-Area , Emilio Guirado , Siham Tabik , Javier Ruiz-Hidalgo

As of late an AI based free programming device has made it simple to make authentic face swaps in recordings that leaves barely any hints of control, in what are known as "deepfake" recordings. Situations where these genuine istic…

Computer Vision and Pattern Recognition · Computer Science 2020-09-17 Rahul U , Ragul M , Raja Vignesh K , Tejeswinee K

Model pruning aims to reduce the deep neural network (DNN) model size or computational overhead. Traditional model pruning methods such as l-1 pruning that evaluates the channel significance for DNN pay too much attention to the local…

Computer Vision and Pattern Recognition · Computer Science 2021-10-26 Xinyu Liu , Baopu Li , Zhen Chen , Yixuan Yuan

Ensemble techniques are frequently encountered in machine learning and engineering problems since the method combines different models and produces an optimal predictive solution. The ensemble concept can be adapted to deep learning models…

Time Series Clustering is an important subroutine in many higher-level data mining analyses, including data editing for classifiers, summarization, and outlier detection. It is well known that for similarity search the superiority of…

Machine Learning · Computer Science 2016-12-05 Nurjahan Begum , Liudmila Ulanova , Hoang Anh Dau , Jun Wang , Eamonn Keogh