English
Related papers

Related papers: Partial Searchlight Scheduling is Strongly PSPACE-…

200 papers

Windows have been introduce in \cite{BalGasq25} as a tool for designing polynomial algorithms to check satisfiability of a bimodal logic of weak-density. In this paper, after revisiting the ``folklore'' case of bimodal $\K4$ already treated…

Logic in Computer Science · Computer Science 2025-07-22 Philippe Balbiani , Olivier Gasquet

Spike sorting is a class of algorithms used in neuroscience to attribute the time occurences of particular electric signals, called action potential or spike, to neurons. We rephrase this problem as a particular optimization problem : Lasso…

Statistics Theory · Mathematics 2022-04-12 Laurent Dragoni , Rémi Flamary , Karim Lounici , Patricia Reynaud-Bouret

In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon such that the guards together can see the whole…

Computational Geometry · Computer Science 2017-01-20 Mikkel Abrahamsen , Anna Adamaszek , Tillmann Miltzow

We study the optimization version of the set partition problem (where the difference between the partition sums are minimized), which has numerous applications in decision theory literature. While the set partitioning problem is NP-hard and…

Data Structures and Algorithms · Computer Science 2021-09-13 Kaan Gokcesu , Hakan Gokcesu

We describe an approach for segmenting an image into regions that correspond to surfaces in the scene that are partially surrounded by the medium. It integrates both appearance and motion statistics into a cost functional, that is seeded…

Computer Vision and Pattern Recognition · Computer Science 2011-09-23 Alper Ayvaci , Stefano Soatto

Sorting has a natural generalization where the input consists of: (1) a ground set $X$ of size $n$, (2) a partial oracle $O_P$ specifying some fixed partial order $P$ on $X$ and (3) a linear oracle $O_L$ specifying a linear order $L$ that…

Data Structures and Algorithms · Computer Science 2024-08-01 Ivor van der Hoog , Daniel Rutschmann

The simple assembly line balancing problem (SALBP) concerns the assignment of tasks with pre-defined processing times to work stations that are arranged in a line. Hereby, precedence constraints between the tasks must be respected. The…

Discrete Mathematics · Computer Science 2010-12-16 Christian Blum

The well-known \textsc{Watchman Route} problem seeks a shortest route in a polygonal domain from which every point of the domain can be seen. In this paper, we study the cooperative variant of the problem, namely the \textsc{$k$-Watchmen…

Computational Geometry · Computer Science 2025-03-21 Joseph S. B. Mitchell , Linh Nguyen

We study the Cooperative Guarding problem for polygons with holes in a mobile multi-agents setting. Given a set of agents, initially deployed at a point in a polygon with $n$ vertices and $h$ holes, we require the agents to collaboratively…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-01 John Augustine , Srikkanth Ramachandran

A searcher is tasked with exploring a graph with edge lengths and vertex weights, starting from a designated vertex. Initially, only the starting vertex is considered explored. At each step, the searcher adds an edge to the solution,…

Data Structures and Algorithms · Computer Science 2025-05-13 Svenja M. Griesbach , Felix Hommelsheim , Max Klimm , Kevin Schewior

We explored the Patrol Security Game (PSG), a robotic patrolling problem modeled as an extensive-form Stackelberg game, where the attacker determines the timing, location, and duration of their attack. Our objective is to devise a…

Artificial Intelligence · Computer Science 2024-10-22 Hao-Tsung Yang , Ting-Kai Weng , Ting-Yu Chang , Kin Sum Liu , Shan Lin , Jie Gao , Shih-Yu Tsai

Learning Bayesian networks is often cast as an optimization problem, where the computational task is to find a structure that maximizes a statistically motivated score. By and large, existing learning tools address this optimization problem…

Machine Learning · Computer Science 2013-01-30 Nir Friedman , Iftach Nachman , Dana Pe'er

We consider the problem of scheduling arrivals to a congestion system with a finite number of users having identical deterministic demand sizes. The congestion is of the processor sharing type in the sense that all users in the system at…

Optimization and Control · Mathematics 2017-04-12 Liron Ravner , Yoni Nazarathy

Motivated by modern parallel computing applications, we consider the problem of scheduling parallel-task jobs with heterogeneous resource requirements in a cluster of machines. Each job consists of a set of tasks that can be processed in…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-03 Mehrnoosh Shafiee , Javad Ghaderi

Sparse subspace clustering (SSC) is an elegant approach for unsupervised segmentation if the data points of each cluster are located in linear subspaces. This model applies, for instance, in motion segmentation if some restrictions on the…

Machine Learning · Statistics 2018-02-12 Hanno Ackermann , Michael Ying Yang , Bodo Rosenhahn

A "partial ordering" is a way to heuristically order a set of examples (partial orderings are a set where, for certain pairs of elements, one precedes the other). While these orderings may only be approximate, they can be useful for guiding…

Software Engineering · Computer Science 2024-07-16 Andre Lustosa , Tim Menzies

In practice, navigation of mobile robots in confined environments is often done using a spatially discrete cost-map to represent obstacles. Path following is a typical use case for model predictive control (MPC), but formulating constraints…

Robotics · Computer Science 2025-07-15 Michael Schröder , Eric Schöneberg , Daniel Görges , Hans D. Schotten

We study classical deadline-based preemptive scheduling of tasks in a computing environment equipped with both dynamic speed scaling and sleep state capabilities: Each task is specified by a release time, a deadline and a processing volume,…

Data Structures and Algorithms · Computer Science 2014-07-04 Antonios Antoniadis , Chien-Chung Huang , Sebastian Ott

Numerical relativity has traditionally been pursued via finite differencing. Here we explore pseudospectral collocation (PSC) as an alternative to finite differencing, focusing particularly on the solution of the Hamiltonian constraint (an…

General Relativity and Quantum Cosmology · Physics 2009-10-31 Lawrence E. Kidder , Lee Samuel Finn

In Computer Vision, edge detection is one of the favored approaches for feature and object detection in images since it provides information about their objects boundaries. Other region-based approaches use probabilistic analysis such as…

Computer Vision and Pattern Recognition · Computer Science 2019-08-20 Dominique Beaini , Sofiane Achiche , Fabrice Nonez , Maxime Raison