English
Related papers

Related papers: SAT-Based Complete Don't-Care Computation for Netw…

200 papers

In order to handle large data sets omnipresent in modern science, efficient compression algorithms are necessary. Here, a Bayesian data compression (BDC) algorithm that adapts to the specific measurement situation is derived in the context…

Data Analysis, Statistics and Probability · Physics 2021-03-01 Johannes Harth-Kitzerow , Reimar Leike , Philipp Arras , Torsten A. Enßlin

Over the past few years, self-attention is shining in the field of deep learning, especially in the domain of natural language processing(NLP). Its impressive effectiveness, along with ubiquitous implementations, have aroused our interest…

Machine Learning · Computer Science 2020-12-03 Mingfei Yu , Masahiro Fujita

Convolutional Neural Networks (CNNs) achieved great cognitive performance at the expense of considerable computation load. To relieve the computation load, many optimization works are developed to reduce the model redundancy by identifying…

Computer Vision and Pattern Recognition · Computer Science 2020-08-18 Fuxun Yu , Chenchen Liu , Di Wang , Yanzhi Wang , Xiang Chen

The Dendritic Cell Algorithm (DCA) is an immune-inspired algorithm, developed for the purpose of anomaly detection. The algorithm performs multi-sensor data fusion and correlation which results in a 'context aware' detection system.…

Artificial Intelligence · Computer Science 2010-07-05 Julie Greensmith , Jan Feyereisl , Uwe Aickelin

We introduce $\textit{sorted weight sectioning}$ (SWS): a weight allocation algorithm that places sorted deep neural network (DNN) weight sections on bit-sliced compute-in-memory (CIM) crossbars to reduce analog-to-digital converter (ADC)…

Hardware Architecture · Computer Science 2025-07-10 Matheus Farias , H. T. Kung

Control data separation architecture (CDSA) is a more efficient architecture to overcome the overhead issue than the conventional cellular networks, especially for the huge bursty traffic like Internet of Things, and over-the-top (OTT)…

Information Theory · Computer Science 2015-11-24 Qiang Liu , Gang Wu , Yingchu Guo , Yusong Zhang

The rapidly emerging field of computational pathology has the potential to enable objective diagnosis, therapeutic response prediction and identification of new morphological features of clinical relevance. However, deep learning-based…

Image and Video Processing · Electrical Eng. & Systems 2020-05-25 Ming Y. Lu , Drew F. K. Williamson , Tiffany Y. Chen , Richard J. Chen , Matteo Barbieri , Faisal Mahmood

Coded computing is a reliable and fault-tolerant mechanism for implementing large computing tasks over a distributed set of worker nodes. While a majority of coded computing frameworks address accurate computation of the target functions,…

Information Theory · Computer Science 2025-07-03 Rimpi Borah , J. Harshan

Finding a globally optimal Bayesian Network using exhaustive search is a problem with super-exponential complexity, which severely restricts the number of variables that it can work for. We implement a dynamic programming based algorithm…

Artificial Intelligence · Computer Science 2022-07-19 Nand Sharma , Joshua Millstein

Recently several researchers have investigated techniques for using data to learn Bayesian networks containing compact representations for the conditional probability distributions (CPDs) stored at each node. The majority of this work has…

Machine Learning · Computer Science 2015-05-19 David Maxwell Chickering , David Heckerman , Christopher Meek

In the context of the current global pandemic and the limitations of the RT-PCR test, we propose a novel deep learning architecture, DFCN (Denoising Fully Connected Network). Since medical facilities around the world differ enormously in…

Image and Video Processing · Electrical Eng. & Systems 2021-08-03 Erdi Çallı , Keelin Murphy , Steef Kurstjens , Tijs Samson , Robert Herpers , Henk Smits , Matthieu Rutten , Bram van Ginneken

We propose an efficient way to output better calibrated uncertainty scores from neural networks. The Distilled Dropout Network (DDN) makes standard (non-Bayesian) neural networks more introspective by adding a new training loss which…

Computer Vision and Pattern Recognition · Computer Science 2018-09-28 Corina Gurau , Alex Bewley , Ingmar Posner

This paper presents a power distribution network (PDN) decoupling capacitor optimization application with three primary goals: reduction of solution times for large networks, development of flexible network scoring routines, and a…

Networking and Internet Architecture · Computer Science 2023-05-03 Jordan R. Keuseman , Chad M. Smutzer , Clifton R Haider , Barry K. Gilbert

Whole-Slide Imaging allows for the capturing and digitization of high-resolution images of histological specimen. An automated analysis of such images using deep learning models is therefore of high demand. The transformer architecture has…

Computer Vision and Pattern Recognition · Computer Science 2023-05-12 Firas Khader , Jakob Nikolas Kather , Tianyu Han , Sven Nebelung , Christiane Kuhl , Johannes Stegmaier , Daniel Truhn

Semantic segmentation is an important task for scene understanding in self-driving cars and robotics, which aims to assign dense labels for all pixels in the image. Existing work typically improves semantic segmentation performance by…

Computer Vision and Pattern Recognition · Computer Science 2021-11-03 Li Wang , Dong Li , Han Liu , Jinzhang Peng , Lu Tian , Yi Shan

Boolean satisfiability (SAT) solvers are widely used in hardware verification, cryptanalysis, automatic test-pattern generation, and side-channel reasoning workflows. Modern conflict-driven clause-learning (CDCL) solvers are highly…

Cryptography and Security · Computer Science 2026-05-06 Melki Bino

Floating-point neural networks dominate modern machine learning but incur substantial inference costs, motivating emerging interest in Boolean networks for resource-constrained deployments. Since Boolean networks use only Boolean…

Artificial Intelligence · Computer Science 2026-05-13 Shengpu Wang , Yuhao Mao , Yani Zhang , Martin Vechev

We consider collocated wireless sensor networks, where each node has a Boolean measurement and the goal is to compute a given Boolean function of these measurements. We first consider the worst case setting and study optimal block…

Information Theory · Computer Science 2011-05-09 Hemant Kowshik , P. R. Kumar

Many computer vision problems are formulated as the optimization of a cost function. This approach faces two main challenges: (i) designing a cost function with a local optimum at an acceptable solution, and (ii) developing an efficient…

Computer Vision and Pattern Recognition · Computer Science 2019-04-15 Jayakorn Vongkulbhisal , Fernando De la Torre , João P. Costeira

ICD coding is a process of assigning the International Classification of Disease diagnosis codes to clinical/medical notes documented by health professionals (e.g. clinicians). This process requires significant human resources, and thus is…

Computation and Language · Computer Science 2020-07-14 Thanh Vu , Dat Quoc Nguyen , Anthony Nguyen