English
Related papers

Related papers: Distributed Answer Set Coloring: Stable Models Com…

200 papers

Web applications are distributed applications, they are programs that run on more than one computer and communicate through a network or server. This very distributed nature of web applications, combined with the scale and sheer complexity…

Cryptography and Security · Computer Science 2022-10-17 Akash Nagaraj , Bishesh Sinha , Mukund Sood , Yash Mathur , Sanchika Gupta , Dinkar Sitaram

Graph coloring is one of the central problems in distributed graph algorithms. Much of the research on this topic has focused on coloring with $\Delta+1$ colors, where $\Delta$ denotes the maximum degree. Using $\Delta+1$ colors may be…

Data Structures and Algorithms · Computer Science 2017-08-24 Mohsen Ghaffari , Christiana Lymouri

Visual Question Answering (VQA) is a challenging problem that requires to process multimodal input. Answer-Set Programming (ASP) has shown great potential in this regard to add interpretability and explainability to modular VQA…

Artificial Intelligence · Computer Science 2025-02-14 Jakob Johannes Bauer , Thomas Eiter , Nelson Higuera Ruiz , Johannes Oetsch

Spectral clustering is a popular tool in network data analysis, with applications in a variety of scientific application areas. However, many studies have shown that classical spectral clustering does not perform well on certain network…

Methodology · Statistics 2026-03-31 Sinyoung Park , Matthew Nunes , Sandipan Roy

The Massively Parallel Computation (MPC) model is an emerging model which distills core aspects of distributed and parallel computation. It has been developed as a tool to solve (typically graph) problems in systems where the input is…

Data Structures and Algorithms · Computer Science 2020-02-20 Artur Czumaj , Peter Davies , Merav Parter

Computational color constancy refers to the problem of computing the illuminant color so that the images of a scene under varying illumination can be normalized to an image under the canonical illumination. In this paper, we adopt a deep…

Computer Vision and Pattern Recognition · Computer Science 2016-08-30 Seoung Wug Oh , Seon Joo Kim

We address the problem of computing the distribution of induced connected subgraphs, aka \emph{graphlets} or \emph{motifs}, in large graphs. The current state-of-the-art algorithms estimate the motif counts via uniform sampling, by…

Data Structures and Algorithms · Computer Science 2021-07-20 Marco Bressan , Stefano Leucci , Alessandro Panconesi

Answer Set Programming (ASP) is a well-established formalism for nonmonotonic reasoning. An ASP program can have no answer set due to cyclic default negation. In this case, it is not possible to draw any conclusion, even if this is not…

Logic in Computer Science · Computer Science 2017-07-24 Giovanni Amendola , Carmine Dodaro , Wolfgang Faber , Nicola Leone , Francesco Ricca

A unified linear algebraic approach to adaptive signal processing (ASP) is presented. Starting from just Ax=b, key ASP algorithms are derived in a simple, systematic, and integrated manner without requiring any background knowledge to the…

Systems and Control · Computer Science 2015-04-24 Muhammad Ali Raza Anjum

We analyse the performance of simple distributed colouring algorithms under the assumption that the input graph is a hyperbolic random graph (HRG), a generative model capturing key properties of real-world networks such as power-law degree…

Data Structures and Algorithms · Computer Science 2025-07-23 Yannic Maus , Janosch Ruff

State-of-the-art approaches toward image restoration can be classified into model-based and learning-based. The former - best represented by sparse coding techniques - strive to exploit intrinsic prior knowledge about the unknown…

Image and Video Processing · Electrical Eng. & Systems 2018-11-29 Fangfang Wu , Weisheng Dong , Guangming Shi , Xin Li

Several recent results from dynamic and sublinear graph coloring are surveyed. This problem is widely studied and has motivating applications like network topology control, constraint satisfaction, and real-time resource scheduling. Graph…

Data Structures and Algorithms · Computer Science 2026-01-13 Noam Benson-Tilsen

Several authors modelled networks ad hoc by oriented or disoriented graphs, whereby the problem of allowance (allocation) of the frequencies at the level of the network was transformed into coloring problem of nodes in the graph. Graph…

Discrete Mathematics · Computer Science 2014-06-06 Ali Mansouri , Mohamed Salim Bouhlel

We study the problem of coloring a given graph using a small number of colors in several well-established models of computation for big data. These include the data streaming model, the general graph query model, the massively parallel…

Data Structures and Algorithms · Computer Science 2019-05-03 Suman K. Bera , Amit Chakrabarti , Prantar Ghosh

With the dissemination of affordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To effectually apply the power of distributed computational systems, there must…

Programming Languages · Computer Science 2010-09-21 Vasco Pedro , Salvador Abreu

Accurate cell instance segmentation is foundational for digital pathology analysis. Existing methods based on contour detection and distance mapping still face significant challenges in processing complex and dense cellular regions. Graph…

Computer Vision and Pattern Recognition · Computer Science 2026-02-06 Rui Sun , Yiwen Yang , Kaiyu Guo , Chen Jiang , Dongli Xu , Zhaonan Liu , Tan Pan , Limei Han , Xue Jiang , Wu Wei , Yuan Cheng

Semidefinite programs (SDPs) can be solved in polynomial time by interior point methods. However, when the dimension of the problem gets large, interior point methods become impractical in terms of both computational time and memory…

Optimization and Control · Mathematics 2023-11-27 Federico Battista , Marianna De Santis

Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling…

Artificial Intelligence · Computer Science 2020-02-19 Giovanni Amendola , Francesco Ricca , Mirek Truszczynski

A novel Gamma-distributed geometric constellation design framework for integrated sensing and communication (ISAC) is proposed in this paper. In this framework, constellation points are modeled as samples drawn from a parameterized…

Information Theory · Computer Science 2026-04-27 Amirhossein Keshavarzchafjiri , Janith K. Dassanayake , Gayan A. Aruma Baduge , Mojtaba Vaezi

We present color sails, a discrete-continuous color gamut representation that extends the color gradient analogy to three dimensions and allows interactive control of the color blending behavior. Our representation models a wide variety of…

Graphics · Computer Science 2018-06-11 Maria Shugrina , Amlan Kar , Karan Singh , Sanja Fidler