English
Related papers

Related papers: Decision Power of Weak Asynchronous Models of Dist…

200 papers

Esparza and Reiter have recently conducted a systematic comparative study of weak asynchronous models of distributed computing, in which a network of identical finite-state machines acts cooperatively to decide properties of the network's…

Formal Languages and Automata Theory · Computer Science 2025-04-11 Flavio T. Principato , Javier Esparza , Philipp Czerner

We conduct a systematic study of asynchronous models of distributed computing consisting of identical finite-state devices that cooperate in a network to decide if the network satisfies a given graph-theoretical property. Models discussed…

Formal Languages and Automata Theory · Computer Science 2020-07-08 Javier Esparza , Fabian Reiter

This paper studies fundamental limitations of performance for distributed decision-making in robotic networks. The class of decision-making problems we consider encompasses a number of prototypical problems such as average-based consensus…

Multiagent Systems · Computer Science 2017-08-15 Federico Rossi , Marco Pavone

Training of deep neural networks heavily depends on the data distribution. In particular, the networks easily suffer from class imbalance. The trained networks would recognize the frequent classes better than the infrequent classes. To…

Computer Vision and Pattern Recognition · Computer Science 2020-03-12 Byungju Kim , Junmo Kim

Distributed automata are finite-state machines that operate on finite directed graphs. Acting as synchronous distributed algorithms, they use their input graph as a network in which identical processors communicate for a possibly infinite…

Formal Languages and Automata Theory · Computer Science 2018-12-21 Fabian Reiter

Semi-supervised node classification in attributed graphs, i.e., graphs with node features, involves learning to classify unlabeled nodes given a partially labeled graph. Label predictions are made by jointly modeling the node and its'…

Machine Learning · Computer Science 2018-09-24 Priyesh Vijayan , Yash Chandak , Mitesh M. Khapra , Srinivasan Parthasarathy , Balaraman Ravindran

With the increasing deployment of machine learning models in many socially sensitive tasks, there is a growing demand for reliable and trustworthy predictions. One way to accomplish these requirements is to allow a model to abstain from…

Machine Learning · Computer Science 2024-09-19 Andrea Pugnana , Lorenzo Perini , Jesse Davis , Salvatore Ruggieri

We present a new classification of elementary cellular automata. It is based on the structure of the network of states, connected with the transitions between them; the latter are determined by the automaton rule. Recently an algorithm has…

Cellular Automata and Lattice Gases · Physics 2013-04-23 Malgorzata J. Krawczyk

Data-driven analysis of complex networks has been in the focus of research for decades. An important area of research is to study how well real networks can be described with a small selection of metrics, furthermore how well network models…

Social and Information Networks · Computer Science 2022-04-28 Marcell Nagy , Roland Molontay

This paper studies the probability of error associated with the social machine learning framework, which involves an independent training phase followed by a cooperative decision-making phase over a graph. This framework addresses the…

Machine Learning · Computer Science 2024-07-10 Ping Hu , Virginia Bordignon , Mert Kayaalp , Ali H. Sayed

We consider 15 properties of labeled random graphs that are of interest in the graph-theoretical and the graph mining literature, such as clustering coefficients, centrality measures, spectral radius, degree assortativity, treedepth,…

Social and Information Networks · Computer Science 2022-06-24 Hang Chen , Vahan Huroyan , Stephen Kobourov , Myroslav Kryven

After the phenomenal success of the PageRank algorithm, many researchers have extended the PageRank approach to ranking graphs with richer structures beside the simple linkage structure. In some scenarios we have to deal with…

Numerical Analysis · Mathematics 2018-11-15 Gianna M. Del Corso , Francesco Romani

In distributed machine learning, data is dispatched to multiple machines for processing. Motivated by the fact that similar data points often belong to the same or similar classes, and more generally, classification rules of high accuracy…

Machine Learning · Computer Science 2016-12-16 Travis Dick , Mu Li , Venkata Krishna Pillutla , Colin White , Maria Florina Balcan , Alex Smola

The assumption that prediction-equivalent models produce equivalent explanations underlies many practices in explainable AI, including model selection, auditing, and regulatory evaluation. In this work, we show that this assumption does not…

Machine Learning · Computer Science 2026-03-18 Thackshanaramana B

We investigate multi-label classification involving large sets of labels, where the output labels may be known to satisfy some logical constraints. We look at an architecture in which classifiers for individual labels are fed into an…

Machine Learning · Computer Science 2025-07-22 Mykhailo Buleshnyi , Anna Polova , Zsolt Zombori , Michael Benedikt

Modeling network traffic is gaining importance in order to counter modern threats of ever increasing sophistication. It is though surprisingly difficult and costly to construct reliable classifiers on top of telemetry data due to the…

Cryptography and Security · Computer Science 2017-03-09 Tomas Pevny , Petr Somol

We show how well known rules of back propagation arise from a weighted combination of finite automata. By redefining a finite automata as a predictor we combine the set of all $k$-state finite automata using a weighted majority algorithm.…

Machine Learning · Computer Science 2018-03-30 Finn Macleod

Classification, the process of assigning a label (or class) to an observation given its features, is a common task in many applications. Nonetheless in most real-life applications, the labels can not be fully explained by the observed…

Machine Learning · Statistics 2018-11-07 Johan Barthélemy , Morgane Dumont , Timoteo Carletti

We initiate the study of counting Markov Equivalence Classes (MEC) under logical constraints. MECs are equivalence classes of Directed Acyclic Graphs (DAGs) that encode the same conditional independence structure among the random variables…

Logic in Computer Science · Computer Science 2024-05-24 Davide Bizzaro , Luciano Serafini , Sagar Malhotra

Recent algorithmic developments have enabled computers to automatically determine and prove the capacity regions of small hypergraph networks under network coding. A structural theory relating network coding problems of different sizes is…

Information Theory · Computer Science 2017-04-07 Congduan Li , Steven Weber , John MacLaren Walsh
‹ Prev 1 2 3 10 Next ›