中文
相关论文

相关论文: A symbolic-arithmetic for teaching double-black no…

200 篇论文

Denoising of clinical CT images is an active area for deep learning research. Current clinically approved methods use iterative reconstruction methods to reduce the noise in CT images. Iterative reconstruction techniques require multiple…

图像与视频处理 · 电气工程与系统科学 2020-07-10 Mayank Patwari , Ralf Gutjahr , Rainer Raupach , Andreas Maier

This paper studies the relation between node deletion and algebraic connectivity for graphs with a hierarchical structure represented by layers. To capture this structure, the concepts of layered path graph and its (sub)graph cone are…

系统与控制 · 电气工程与系统科学 2022-12-21 Ryusei Yoshise , Kaoru Yamamoto

When trained with severely imbalanced data, deep neural networks often struggle to accurately recognize classes with only a few samples. Previous studies in long-tailed recognition have attempted to rebalance biased learning using known…

计算机视觉与模式识别 · 计算机科学 2024-12-23 Minseok Son , Inyong Koo , Jinyoung Park , Changick Kim

Coloring is a notoriously hard problem, and even more so in the online setting, where each arriving vertex has to be colored immediately and irrevocably. Already on trees, which are trivially two-colorable, it is impossible to achieve…

数据结构与算法 · 计算机科学 2024-05-29 Fabian Frei , Matthias Gehnen , Dennis Komm , Rastislav Královič , Richard Královič , Peter Rossmanith , Moritz Stocker

We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the tree edit operations of deletion, insertion, and relabeling…

数据结构与算法 · 计算机科学 2008-10-23 Julien Allali , Marie-France Sagot

LiDAR is widely used to capture accurate 3D outdoor scene structures. However, LiDAR produces many undesirable noise points in snowy weather, which hamper analyzing meaningful 3D scene structures. Semantic segmentation with snow labels…

计算机视觉与模式识别 · 计算机科学 2022-08-09 Gwangtak Bae , Byungjun Kim , Seongyong Ahn , Jihong Min , Inwook Shim

In this study, we consider classification problems based on neural networks in data-imbalanced environment. Learning from an imbalanced data set is one of the most important and practical problems in the field of machine learning. A…

机器学习 · 统计学 2019-12-02 Muneki Yasuda , Seishirou Ueno

There is a wide gap between symbolic reasoning and deep learning. In this research, we explore the possibility of using deep learning to improve symbolic reasoning. Briefly, in a reasoning system, a deep feedforward neural network is used…

人工智能 · 计算机科学 2018-09-13 Cheng-Hao Cai , Dengfeng Ke , Yanyan Xu , Kaile Su

Unsupervised anomaly detection methods are at the forefront of industrial anomaly detection efforts and have made notable progress. Previous work primarily used 2D information as input, but multi-modal industrial anomaly detection based on…

计算机视觉与模式识别 · 计算机科学 2023-11-14 Chenyang Bi , Yueyang Li , Haichi Luo

Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying…

计算复杂性 · 计算机科学 2019-07-23 Marc Hellmuth , Manuela Geiß , Peter F. Stadler

Balliu et al. (DISC 2020) classified the hardness of solving binary labeling problems with distributed graph algorithms; in these problems the task is to select a subset of edges in a $2$-colored tree in which white nodes of degree $d$ and…

分布式、并行与集群计算 · 计算机科学 2023-12-20 Henrik Lievonen , Timothé Picavet , Jukka Suomela

Given a set R of red points and a set B of blue points in the plane, the Red-Blue point separation problem asks if there are at most k lines that separate R from B, that is, each cell induced by the lines of the solution is either empty or…

数据结构与算法 · 计算机科学 2020-05-14 Neeldhara Misra , Harshil Mittal , Aditi Sethia

Deep learning techniques involving image processing and data analysis are constantly evolving. Many domains adapt these techniques for object segmentation, instantiation and classification. Recently, agricultural industries adopted those…

计算机视觉与模式识别 · 计算机科学 2019-03-21 Dmitry Kuznichov , Alon Zvirin , Yaron Honen , Ron Kimmel

Model order reduction algorithms for large-scale descriptor systems are proposed using balanced truncation, in which symmetry or block skew symmetry (reciprocity) and the positive realness of the original transfer matrix are preserved. Two…

数值分析 · 计算机科学 2018-11-13 Yuichi Tanji

Benders decomposition (BD) is a widely used solution approach for solving two-stage stochastic programs arising in real-world decision-making under uncertainty. However, it often suffers from slow convergence as the master problem grows…

最优化与控制 · 数学 2026-05-08 Haochen Cai , Xian Yu

A bilateralist take on proof-theoretic semantics can be understood as demanding of a proof system to display not only rules giving the connectives' provability conditions but also their refutability conditions. On such a view, then, a…

计算机科学中的逻辑 · 计算机科学 2025-10-17 Sara Ayhan

Noisy labels can negatively impact the performance of deep neural networks. One common solution is label refurbishment, which involves reconstructing noisy labels through predictions and distributions. However, these methods may introduce…

计算机视觉与模式识别 · 计算机科学 2025-03-31 Wenxiao Fan , Kan Li

For a fixed property (graph class) ${\Pi}$, given a graph G and an integer k, the ${\Pi}$-deletion problem consists in deciding if we can turn $G$ into a graph with the property ${\Pi}$ by deleting at most $k$ edges. The ${\Pi}$-deletion…

离散数学 · 计算机科学 2023-07-14 Ivo Koch , Nina Pardal , Vinicius Fernandes dos Santos

Deep learning models suffer from catastrophic forgetting when learning new tasks incrementally. Incremental learning has been proposed to retain the knowledge of old classes while learning to identify new classes. A typical approach is to…

计算机视觉与模式识别 · 计算机科学 2022-07-14 Huitong Chen , Yu Wang , Qinghua Hu

Solving arithmetic word problems is a cornerstone task in assessing language understanding and reasoning capabilities in NLP systems. Recent works use automatic extraction and ranking of candidate solution equations providing the answer to…

计算与语言 · 计算机科学 2021-03-10 Klim Zaporojets , Giannis Bekoulis , Johannes Deleu , Thomas Demeester , Chris Develder