English
Related papers

Related papers: Renaming in distributed certification

200 papers

Wi-Fi fingerprinting remains one of the most practical solutions for indoor positioning, however, its performance is often limited by the size and heterogeneity of fingerprint datasets, strong Received Signal Strength Indicator variability,…

Machine Learning · Computer Science 2026-01-12 Miguel Matey-Sanz , Joaquín Torres-Sospedra , Joaquín Huerta , Sergio Trilles

Finite-State Dynamics (FSD) is one of the simplest and constrained distributed systems. An FSD is defined by an $n$-node network, with each node maintaining an internal state selected from a finite set. At each time-step, these nodes…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-20 Diego Maldonado , Pedro Montealegre , Martín Ríos-Wilson

Learning diverse features is key to the success of person re-identification. Various part-based methods have been extensively proposed for learning local representations, which, however, are still inferior to the best-performing methods for…

Computer Vision and Pattern Recognition · Computer Science 2020-01-22 Ben Xie , Xiaofu Wu , Suofei Zhang , Shiliang Zhao , Ming Li

Quantum communication with systems of dimension larger than two provides advantages in information processing tasks. Examples include higher rates of key distribution and random number generation. The main disadvantage of using such…

We present a new combinatorial characterization for local optimality of a codeword in an irregular Tanner code. The main novelty in this characterization is that it is based on a linear combination of subtrees in the computation trees.…

Information Theory · Computer Science 2011-04-26 Nissim Halabi , Guy Even

In this paper, we study systems of distributed entities that can actively modify their communication network. This gives rise to distributed algorithms that apart from communication can also exploit network reconfiguration in order to carry…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-09 Othon Michail , George Skretas , Paul G. Spirakis

Identifier names play a significant role in program comprehension activities, with high-quality names improving developer productivity and system quality. To correct poor-quality names, developers rename identifiers to reflect their…

Software Engineering · Computer Science 2023-02-27 Anthony Peruma , Christian D. Newman

This work focuses on the generic identifiability of dynamical networks with partial excitation and measurement: a set of nodes are interconnected by transfer functions according to a known topology, some nodes are excited, some are…

Optimization and Control · Mathematics 2021-10-04 Antoine Legat , Julien M. Hendrickx

In this work, we provide an upper bound for global certification of graph homomorphism, a generalization of graph coloring. In certification, the nodes of a network should decide if the network satisfies a given property, thanks to small…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-07 Nicolas Bousquet , Laurent Feuilloley , Sébastien Zeitoun

In a {\em locally recoverable} or {\em repairable} code, any symbol of a codeword can be recovered by reading only a small (constant) number of other symbols. The notion of local recoverability is important in the area of distributed…

Information Theory · Computer Science 2016-11-17 Viveck Cadambe , Arya Mazumdar

Renaming identifiers in source code is a common refactoring task in software development. When renaming an identifier, other identifiers containing words with the same naming intention related to the renaming should be renamed…

Software Engineering · Computer Science 2024-09-27 Naoki Doi , Yuki Osumi , Shinpei Hayashi

In this paper, we investigate how local rules enforced at every node can influence the topology of a network. More precisely, we establish several results on the diameter of trees as a function of the number of nodes, as listed below. These…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-04 Nicolas Bousquet , Laurent Feuilloley , Théo Pierron

Certification for machine learning is proving that no adversarial sample can evade a model within a range under certain conditions, a necessity for safety-critical domains. Common certification methods for segmentation use a flat set of…

Machine Learning · Computer Science 2024-06-05 Alaa Anani , Tobias Lorenz , Bernt Schiele , Mario Fritz

Domain adaptive person Re-Identification (ReID) is challenging owing to the domain gap and shortage of annotations on target scenarios. To handle those two challenges, this paper proposes a coupling optimization method including the…

Computer Vision and Pattern Recognition · Computer Science 2020-11-09 Xiaobin Liu , Shiliang Zhang

Distributed quantum information in networks is paramount for global secure quantum communication. Moreover, it finds applications as a resource for relevant tasks, such as clock synchronization, magnetic field sensing, and blind quantum…

Authorization currently introduces partial centralization in otherwise distributed network architectures, such as ICN approaches. Analyzing existing work in (partially) distributed authentication and authorization, and rearranging proven…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-09 Jens Finkhäuser

In the context of distributed certification, the recognition of graph classes has started to be intensively studied. For instance, different results related to the recognition of planar, bounded tree-width and $H$-minor free graphs have…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-12 Benjamín Jauregui , Pedro Montealegre , Diego Ramírez-Romero , Ivan Rapaport

We consider the locality of encoding and decoding operations in distributed storage systems (DSS), and propose a new class of codes, called locally encodable and decodable codes (LEDC), that provides a higher degree of operational locality…

Information Theory · Computer Science 2015-04-21 Son Hoang Dau , Han Mao Kiah , Wentu Song , Chau Yuen

The present work considers the localization problem in wireless sensor networks formed by fixed nodes. Each node seeks to estimate its own position based on noisy measurements of the relative distance to other nodes. In a centralized batch…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-19 Gemma Morral , Pascal Bianchi

Indoor localization systems are most commonly based on Received Signal Strength Indicator (RSSI) measurements of either WiFi or Bluetooth-Low-Energy (BLE) beacons. In such systems, the two most common techniques are trilateration and…

Networking and Internet Architecture · Computer Science 2020-06-17 Ramdoot Pydipaty , Johnu George , Krishna Selvaraju , Amit Saha