Search
Search Results
-
An Efficient Algorithm for All-Pairs Bounded Edge Connectivity
Our work concerns algorithms for a variant of
Maximum Flow in unweighted graphs. In theAll-Pairs Connectivity (APC) problem, we are given a graph G ... -
Construct and Query A Fine-Grained Geospatial Knowledge Graph
In this paper, we propose the fine-grained geospatial knowledge graph (FineGeoKG), which can capture the neighboring relations between geospatial...
-
Explicit Behavior Interaction with Heterogeneous Graph for Multi-behavior Recommendation
Multi-behavior recommendation systems exploit multi-type user–item interactions (e.g., clicking, adding to cart and collecting) as auxiliary...
-
DB-GPT: Large Language Model Meets Database
Large language models (LLMs) have shown superior performance in various areas. And LLMs have the potential to revolutionize data management by...
-
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
We present an automatic theorem prover for projective incidence geometry. This prover does not consider coordinates. Instead, it follows a...
-
Truthful Matching with Online Items and Offline Agents
We study truthful mechanisms for welfare maximization in online bipartite matching. In our (multi-parameter) setting, every buyer is associated with...
-
Predecessor on the Ultra-Wide Word RAM
We consider the predecessor problem on the ultra-wide word RAM model of computation, which extends the word RAM model with ultrawords consisting of
... -
-
Approximations for Throughput Maximization
In this paper we study the classical problem of throughput maximization. In this problem we have a collection J of n jobs, each having a release time
... -
-
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in... -
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings
This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full... -
Economics and Computation An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division
This textbook connects three vibrant areas at the interface between economics and computer science: algorithmic game theory, computational social...
-
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the...
-
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22–24, 2024, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna,...
-
Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1–3, 2024, Proceedings
This book constitutes the refereed proceedings of the 35th International Workshop on Combinatorial Algorithms, IWOCA 2024, held in Ischia, Italy,...
-
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo,...
-
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1–2, 2023, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2023,... -
Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7–10, 2024, Proceedings, Part IV
The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024,...