中文
相关论文

相关论文: SAT-Based Complete Don't-Care Computation for Netw…

200 篇论文

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…

数据分析、统计与概率 · 物理学 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…

机器学习 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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.…

人工智能 · 计算机科学 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)…

硬件体系结构 · 计算机科学 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)…

信息论 · 计算机科学 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…

图像与视频处理 · 电气工程与系统科学 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,…

信息论 · 计算机科学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

图像与视频处理 · 电气工程与系统科学 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…

计算机视觉与模式识别 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人工智能 · 计算机科学 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…

信息论 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

计算与语言 · 计算机科学 2020-07-14 Thanh Vu , Dat Quoc Nguyen , Anthony Nguyen