Showing 221 - 240 of 70,201

221

Phase Transition in Count Approximation by Count-Min Sketch with Conservative Updates
Fusy, Éric ; Kucherov, Gregory ; Laboratoire d'Informatique Gaspard-Monge (LIGM) ; et al.
13th International Conference on Algorithms and Complexity (CIAC 2023). :232-246

Larnaca, Cyprus [INFO.INFO-DS]Computer S... Data Structures and Algo...
Conference
Save to List
222

Online Knapsack with Removal and Recourse
Böckenhauer, Hans-Joachim ; Klasing, Ralf ; Mömke, Tobias ; et al.
Combinatorial Algorithms. IWOCA 2023. :123-135

Tainan, Taiwan, France semionline algorithm recourse proportional knapsack online knapsack online knapsack proporti...
Conference
Save to List
223

Hot off the Press: Near-Tight Runtime Guarantees for Many-Objective Evolutionary Algorithms
Wietheger, Simon ; Doerr, Benjamin ; Vienna University of Technology = Technische Universität Wien (TU Wien) ; et al.
2025 Genetic and Evolutionary Computation Conference (GECCO 2025). :85-86

Malaga, Spain theory runtime analysis many-objective optimizat... evolutionary multi-objec... [INFO.INFO-DS]Computer S...
Conference
Save to List
224

Testing Cluster Properties of Signed Graphs
Adriaens, Florian ; Apers, Simon ; Centre National de la Recherche Scientifique (CNRS) ; et al.
WWW '23: The ACM Web Conference 2023. :49-59

Austin Texas, United Sta... [INFO.INFO-DS]Computer S... Data Structures and Algo...
Conference
Save to List
225

Specifying and Verifying Higher-order Rust Iterators
Denis, Xavier ; Jourdan, Jacques-Henri ; Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) ; et al.
Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :93-110

Paris, France Rust Deductive verification Iterators Closures [INFO.INFO-PL]Computer S...
Conference
Save to List
226

Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries
Nikolaos Tziavelis ; Wolfgang Gatterbauer ; Mirek Riedewald
ACM Transactions on Database Systems. 51:1-47

FOS: Computer and inform... Computer Science - Logic... Computer Science - Datab... Computer Science - Data... 0202 electrical engineer... Databases (cs.DB)
Academic journal
Save to List
227

Glauber dynamics for the hard-core model on bounded-degree $H$ -free graphs
Mark Jerrum
Combinatorics, Probability and Computing. :1-12

FOS: Computer and inform... Data Structures and Algo... Combinatorics Probability (math.PR) FOS: Mathematics Data Structures and Algo...
Academic journal
Save to List
228

On the Robustness of the Successive Projection Algorithm
Giovanni Barbarino ; Nicolas Gillis
SIAM Journal on Matrix Analysis and Applications. 46:2140-2170

FOS: Computer and inform... Computer Science - Machi... Statistics - Machine Lea... Computer Science - Data... FOS: Mathematics Data Structures and Algo...
Academic journal
Save to List
229

Low-depth Amplitude Estimation without Really Trying
Dinh-Long Vu ; Bin Cheng ; Patrick Rebentrost
ACM Transactions on Quantum Computing. 6:1-23

FOS: Computer and inform... Quantum Physics Computer Science - Data... FOS: Physical sciences Data Structures and Algo... Quantum Physics (quant-p...
Academic journal
Save to List
230

Efficiency of Self-Adjusting Heaps
Corwin Sinnamon ; Robert E. Tarjan
ACM Transactions on Algorithms. 21:1-39

FOS: Computer and inform... Computer Science - Data... Data Structures and Algo... 0102 computer and inform... F.2.2 01 natural sciences
Academic journal
Save to List
231

Combinatorial and asymptotic results on the neighborhood grid
Alex McDonough ; Ulrich Reitebuch ; Martin Skrodzki
Discrete Applied Mathematics. 372:48-64

FOS: Computer and inform... E.1 F.2.2 G.2.1 Neighborhood grid Spatial data structure
Academic journal
Save to List
232

Near-Optimal Adaptive Policies for Serving Stochastically Departing Customers
Danny Segev
Operations Research. 73:2744-2760

FOS: Computer and inform... Optimization and Control... Computer Science - Data... 0211 other engineering a... FOS: Mathematics Data Structures and Algo...
Academic journal
Save to List
233

Staying Fresh: Efficient Algorithms for Timely Social Information Distribution
Songhua Li ; Lingjie Duan
IEEE Transactions on Network Science and Engineering. 12:4275-4286

Social and Information N... FOS: Computer and inform... Discrete Mathematics (cs... 11. Sustainability Computer Science - Data... Computer Science - Socia...
Academic journal
Save to List
234

Exploring monotone priority queues for Dijkstra optimization
Jonas Costa ; Lucas Castro ; Rosiane de Freitas
RAIRO - Operations Research. 59:2419-2436

FOS: Computer and inform... Computer Science - Data... Data Structures and Algo...
Academic journal
Save to List
235

Generating Satisfiable Benchmark Instances for Stable Roommates Problems with Optimization
BATURAY YILMAZ ; ESRA ERDEM
Theory and Practice of Logic Programming. :1-16

FOS: Computer and inform... Data Structures and Algo... Data Structures and Algo...
Academic journal
Save to List
236

The Lovász Theta Function for Recovering Planted Clique Covers and Graph Colorings
Jiaxin Hou ; Yong Sheng Soh ; Antonios Varvitsiotis
SIAM Journal on Optimization. 35:1873-1898

FOS: Computer and inform... Optimization and Control... Information Theory (cs.I... FOS: Mathematics Data Structures and Algo... Combinatorics (math.CO)
Academic journal
Save to List
237

Moving Matter: Using a Single, Simple Robot to Reconfigure a Connected Set of Building Blocks
Garcia, Javier ; Friemel, Jonas ; Kosfeld, Ramin ; et al.
2025 IEEE 21st International Conference on Automation Science and Engineering (CASE). :2260-2266

Computational Geometry (... FOS: Computer and inform... Data Structures and Algo... Computational Geometry Data Structures and Algo... Robotics
Academic journal
Save to List
238

Counting stars is constant-degree optimal for detecting any planted subgraph
Xifan Yu ; Ilias Zadik ; Peiyuan Zhang
Mathematical Statistics and Learning. 8:105-164

FOS: Computer and inform... Computer Science - Compu... Computer Science - Data... FOS: Mathematics Mathematics - Statistics... Data Structures and Algo...
Academic journal
Save to List
239

Convergence of the QuickVal residual
James Allen Fill ; Jason Matterer
Combinatorics, Probability and Computing. :1-23

FOS: Computer and inform... Data Structures and Algo... Probability (math.PR) FOS: Mathematics Data Structures and Algo... Probability
Academic journal
Save to List
240

A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free
Cohen, Cyril ; Sakaguchi, Kazuhiko ; Sakaguchi, Kazuhiko
Proceedings of the ACM on Programming Languages. 9:1-29

FOS: Computer and inform... Stable sort Parametricity [INFO.INFO-LO] Computer... Mergesort Interactive theorem prov...
Academic journal
Save to List

Filter