中文
相关论文

相关论文: Dimension-Minimality and Primality of Counter Nets

200 篇论文

Difference Logic (DL) is a fragment of linear arithmetics where atoms are constraints x+k <= y for variables x,y (ranging over Q or Z) and integer k. We study the complexity of deciding the truth of existential DL sentences. This problem…

数据结构与算法 · 计算机科学 2024-02-06 Konrad K. Dabrowski , Peter Jonsson , Sebastian Ordyniak , George Osipov

The Conditional Preference Network (CP-net) graphically represents user's qualitative and conditional preference statements under the ceteris paribus interpretation. The constrained CP-net is an extension of the CP-net, to a set of…

人工智能 · 计算机科学 2021-09-28 Sultan Ahmed , Malek Mouhoub

k is the most important parameter in a text categorization system based on k-Nearest Neighbor algorithm (kNN).In the classification process, k nearest documents to the test one in the training set are determined firstly. Then, the…

计算与语言 · 计算机科学 2007-05-23 Baoli Li , Shiwen Yu , Qin Lu

Control Network Programming (CNP) is a programming paradigm which is being described with the maxim "Primitives + Control Network = Control Network program". It is a type of graphic programming. The Control Network is a recursive system of…

编程语言 · 计算机科学 2018-09-05 Kostadin Kratchanov , Efe Ergün

Finite automata whose computations can be reversed, at any point, by knowing the last k symbols read from the input, for a fixed k, are considered. These devices and their accepted languages are called k-reversible automata and k-reversible…

形式语言与自动机理论 · 计算机科学 2017-08-23 Giovanna J. Lavado , Giovanni Pighizzini , Luca Prigioniero

The deep convolutional neural network (DCNN) in computer vision has given promising results. It is widely applied in many areas, from medicine, agriculture, self-driving car, biometric system, and almost all computer vision-based…

计算机视觉与模式识别 · 计算机科学 2024-11-01 Gaurav Hirani , Waleed Abdulla

A regular language is $k$-piecewise testable if it is a finite boolean combination of languages of the form $\Sigma^* a_1 \Sigma^* \cdots \Sigma^* a_n \Sigma^*$, where $a_i\in\Sigma$ and $0\le n \le k$. Given a DFA $A$ and $k\ge 0$, it is…

形式语言与自动机理论 · 计算机科学 2016-09-07 Tomáš Masopust

A necklace is an equivalence class of words of length $n$ over an alphabet under the cyclic shift (rotation) operation. As a classical object, there have been many algorithmic results for key operations on necklaces, including counting,…

组合数学 · 数学 2021-11-08 Duncan Adamson , Argyrios Deligkas , Vladimir V. Gusev , Igor Potapov

The problem of error correction in both coherent and noncoherent network coding is considered under an adversarial model. For coherent network coding, where knowledge of the network topology and network code is assumed at the source and…

信息论 · 计算机科学 2019-05-07 Danilo Silva , Frank R. Kschischang

Convolutional Neural Networks (CNNs) have become indispensable for solving machine learning tasks in speech recognition, computer vision, and other areas that involve high-dimensional data. A CNN filters the input feature using a network…

机器学习 · 计算机科学 2020-02-13 Jonathan Ephrath , Moshe Eliasof , Lars Ruthotto , Eldad Haber , Eran Treister

In all state-of-the-art sketching and coreset techniques for clustering, as well as in the best known fixed-parameter tractable approximation algorithms, randomness plays a key role. For the classic $k$-median and $k$-means problems, there…

数据结构与算法 · 计算机科学 2023-10-09 Vincent Cohen-Addad , David Saulpic , Chris Schwiegelshohn

Nested counter systems (NCS) are a generalization of counter systems to higher-order counters. Here, a higher-order counter is allowed to have other (lower-order) counters as elements, instead of just a number. Such systems can be viewed as…

形式语言与自动机理论 · 计算机科学 2026-05-15 A. R. Balasubramanian , Franzisco Schmidt

A new model of a Quantum Automaton (QA), working with qubits is proposed. The quantum states of the automaton can be pure or mixed and are represented by density operators. This is the appropriated approach to deal with measurements and…

量子物理 · 物理学 2015-03-25 A. M. Martins

This paper presents a new similarity measure to be used for general tasks including supervised learning, which is represented by the K-nearest neighbor classifier (KNN). The proposed similarity measure is invariant to large differences in…

机器学习 · 计算机科学 2014-09-04 Ahmad Basheer Hassanat

In recent years, convolutional neural networks (CNNs) took over the field of document analysis and they became the predominant model for word spotting. Especially attribute CNNs, which learn the mapping between a word image and an attribute…

计算机视觉与模式识别 · 计算机科学 2019-03-27 Fabian Wolf , Philipp Oberdiek , Gernot A. Fink

A two-way deterministic finite state automaton with one counter (2D1CA) is a fundamental computational model that has been examined in many different aspects since sixties, but we know little about its power in the case of unary languages.…

形式语言与自动机理论 · 计算机科学 2014-07-09 Marzio De Biasi , Abuzer Yakaryilmaz

Reduced k-means clustering is a method for clustering objects in a low-dimensional subspace. The advantage of this method is that both clustering of objects and low-dimensional subspace reflecting the cluster structure are simultaneously…

统计理论 · 数学 2014-02-14 Yoshikazu Terada

Quantum convolutional neural networks (QCNNs) are quantum circuits for characterizing complex quantum states. They have been proposed for recognizing quantum phases of matter at low sampling cost and have been designed for condensed matter…

量子物理 · 物理学 2025-11-11 Leon C. Sander , Nathan A. McMahon , Petr Zapletal , Michael J. Hartmann

Convolutional Neural Networks (CNNs) are known to be significantly over-parametrized, and difficult to interpret, train and adapt. In this paper, we introduce a structural regularization across convolutional kernels in a CNN. In our…

计算机视觉与模式识别 · 计算机科学 2020-09-08 Ze Wang , Xiuyuan Cheng , Guillermo Sapiro , Qiang Qiu

During the last decade, deep neural networks (DNN) have demonstrated impressive performances solving a wide range of problems in various domains such as medicine, finance, law, etc. Despite their great performances, they have long been…

机器学习 · 计算机科学 2020-10-13 Jiechieu Kameni Florentin Flambeau , Tsopze Norbert