English
Related papers

Related papers: Improving bit-vector representation of points-to s…

200 papers

Projections onto sets are used in a wide variety of methods in optimization theory but not every method that uses projections really belongs to the class of projection methods as we mean it here. Here projection methods are iterative…

Optimization and Control · Mathematics 2014-09-08 Yair Censor , Andrzej Cegielski

As applications grow in capability, they also grow in complexity. This complexity in turn gets pushed into modules and libraries. In addition, hardware configurations become increasingly elaborate, too. These two trends make understanding,…

Software Engineering · Computer Science 2018-03-21 Ronny Brendel , Bert Wesarg , Ronny Tschüter , Matthias Weber , Thomas Ilsche , Sebastian Oeste

A recent approach for object detection and human pose estimation is to regress bounding boxes or human keypoints from a central point on the object or person. While this center-point regression is simple and efficient, we argue that the…

Computer Vision and Pattern Recognition · Computer Science 2020-08-04 Fangyun Wei , Xiao Sun , Hongyang Li , Jingdong Wang , Stephen Lin

We introduce a new neural architecture to learn the conditional probability of an output sequence with elements that are discrete tokens corresponding to positions in an input sequence. Such problems cannot be trivially addressed by…

Machine Learning · Statistics 2017-01-03 Oriol Vinyals , Meire Fortunato , Navdeep Jaitly

The successor and predecessor problem consists of obtaining the closest value in a set of integers, greater/smaller than a given value. This problem has interesting applications, like the intersection of inverted lists. It can be easily…

Data Structures and Algorithms · Computer Science 2020-02-27 Adrián Gómez-Brandón

This paper aims for set-to-hypergraph prediction, where the goal is to infer the set of relations for a given set of entities. This is a common abstraction for applications in particle physics, biological systems, and combinatorial…

Machine Learning · Computer Science 2023-01-18 David W. Zhang , Gertjan J. Burghouts , Cees G. M. Snoek

Following the success of dot-product attention in Transformers, numerous approximations have been recently proposed to address its quadratic complexity with respect to the input length. However, all approximations thus far have ignored the…

Machine Learning · Computer Science 2021-03-19 Ankit Gupta , Jonathan Berant

Point annotations are considerably more time-efficient than bounding box annotations. However, how to use cheap point annotations to boost the performance of semi-supervised object detection remains largely unsolved. In this work, we…

Computer Vision and Pattern Recognition · Computer Science 2022-10-25 Yongtao Ge , Qiang Zhou , Xinlong Wang , Zhibin Wang , Hao Li , Chunhua Shen

Big data programming frameworks have become increasingly important for the development of applications for which performance and scalability are critical. In those complex frameworks, optimizing code by hand is hard and time-consuming,…

Logic in Computer Science · Computer Science 2023-06-14 Sarah Chlyah , Nils Gesbert , Pierre Geneves , Nabil Layaida

This work investigates the problem of instance-level image retrieval re-ranking with the constraint of memory efficiency, ultimately aiming to limit memory usage to 1KB per image. Departing from the prevalent focus on performance…

Computer Vision and Pattern Recognition · Computer Science 2024-08-07 Pavel Suma , Giorgos Kordopatis-Zilos , Ahmet Iscen , Giorgos Tolias

Modern architectures require applications to make effective use of caches to achieve high performance and hide memory latency. This in turn requires careful consideration of placement of data in memory to exploit spatial locality, leverage…

Programming Languages · Computer Science 2019-01-24 Juliana Franco , Alexandros Tasos , Sophia Drossopoulou , Tobias Wrigstad , Susan Eisenbach

Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyses that are moderately precise while scalable to large…

Programming Languages · Computer Science 2019-08-19 Jakub Kuderski , Jorge A. Navas , Arie Gurfinkel

We propose a hierarchical architecture for efficiently computing high-quality solutions to structured mixed-integer programs (MIPs). To reduce computational effort, our approach decouples the original problem into a higher level problem and…

Optimization and Control · Mathematics 2025-12-04 Stefan Clarke , Bartolomeo Stellato

How data is represented and operationalized is critical for building computational solutions that are both effective and efficient. A common approach is to represent data objects as binary vectors, denoted \textit{hash codes}, which require…

Information Retrieval · Computer Science 2021-09-07 Casper Hansen

We consider the problem of supporting Rank() and Select() operations on a bit vector of length m with n 1 bits. The problem is considered in the succinct index model, where the bit vector is stored in "read-only" memory and an additional…

Data Structures and Algorithms · Computer Science 2015-03-19 Alexander Golynski , Alessio Orlandi , Rajeev Raman , S. Srinivasa Rao

Point feature labeling is a classical problem in cartography and GIS that has been extensively studied for geospatial point data. At the same time, word clouds are a popular visualization tool to show the most important words in text data…

Computational Geometry · Computer Science 2021-09-10 Sujoy Bhore , Robert Ganian , Guangping Li , Martin Nöllenburg , Jules Wulms

One of the central problems in the design of compressed data structures is the efficient support for rank and select queries on bitvectors. These two operations form the backbone of more complex data structures (such as wavelet trees) used…

Data Structures and Algorithms · Computer Science 2025-09-09 Eric Chiu , Dominik Kempa

Operations research applications often pose multicriteria problems. Mathematical research on multicriteria problems predominantly revolves around the set of Pareto optimal solutions, while in practice, methods that output a single solution…

Data Structures and Algorithms · Computer Science 2013-03-12 Christina Büsing , Kai-Simon Goetzmann , Jannik Matuschke , Sebastian Stiller

The article presents a study on the biobjective inventory routing problem. Contrary to most previous research, the problem is treated as a true multi-objective optimization problem, with the goal of identifying Pareto-optimal solutions. Due…

Artificial Intelligence · Computer Science 2011-09-15 Martin Josef Geiger , Marc Sevaux

String-averaging is an algorithmic structure used when handling a family of operators in situations where the algorithm at hand requires to employ the operators in a specific order. Sequential orderings are well-known and a simultaneous…

Functional Analysis · Mathematics 2021-03-17 Yair Censor , Ariel Nisenbaum