| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015 Foto N. Afrati, Frank Neven, Dan Suciu |
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015 Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
External Memory Stream Sampling Xiaocheng Hu, Miao Qiao, Yufei Tao |
External Memory Stream Sampling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Smooth Tradeoffs between Insert and Query Complexity in Nearest Neighbor Search Michael Kapralov |
Smooth Tradeoffs between Insert and Query Complexity in Nearest Neighbor Search Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions? M. Praveen, B. Srivathsan |
Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions? Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Private Multiplicative Weights Beyond Linear Queries Jonathan Ullman |
Private Multiplicative Weights Beyond Linear Queries Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Default Negation for Non-Guarded Existential Rules Mario Alviano, Andreas Pieris |
Default Negation for Non-Guarded Existential Rules Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Skyline Queries with Noisy Comparisons Benoît Groz, Tova Milo |
Skyline Queries with Noisy Comparisons Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
On Top-k Range Reporting in 2D Space Saladi Rahul, Yufei Tao |
On Top-k Range Reporting in 2D Space Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Vertex and Hyperedge Connectivity in Dynamic Graph Streams Sudipto Guha, Andrew McGregor, David Tench |
Vertex and Hyperedge Connectivity in Dynamic Graph Streams Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick |
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Parallel-Correctness and Transferability for Conjunctive Queries Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick |
Parallel-Correctness and Transferability for Conjunctive Queries Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Chase Termination for Guarded Existential Rules Marco Calautti, Georg Gottlob, Andreas Pieris |
Chase Termination for Guarded Existential Rules Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Paraschos Koutris, Jef Wijsen |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dichotomies in the Complexity of Preferred Repairs Ronald Fagin, Benny Kimelfeld, Phokion G. Kolaitis |
Dichotomies in the Complexity of Preferred Repairs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Computational Thinking, Inferential Thinking and "Big Data" Michael I. Jordan |
Computational Thinking, Inferential Thinking and "Big Data" Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
The (Almost) Complete Guide to Tree Pattern Containment Wojciech Czerwinski, Wim Martens, Pawel Parys, Marcin Przybylko |
The (Almost) Complete Guide to Tree Pattern Containment Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Joins via Geometric Resolutions: Worst-case and Beyond Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Ré, Atri Rudra |
Joins via Geometric Resolutions: Worst-case and Beyond Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability Georg Gottlob, Reinhard Pichler, Emanuel Sallinger |
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficient Evaluation and Approximation of Well-designed Pattern Trees Pablo Barceló, Reinhard Pichler, Sebastian Skritek |
Efficient Evaluation and Approximation of Well-designed Pattern Trees Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dynamic Data Structures for Document Collections and Graphs J. Ian Munro, Yakov Nekrich, Jeffrey Scott Vitter |
Dynamic Data Structures for Document Collections and Graphs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Compact Summaries over Large Datasets Graham Cormode |
Compact Summaries over Large Datasets Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Querying Big Data by Accessing Small Data Wenfei Fan, Floris Geerts, Yang Cao, Ting Deng, Ping Lu |
Querying Big Data by Accessing Small Data Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Symmetric Weighted First-Order Model Counting Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu |
Symmetric Weighted First-Order Model Counting Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication Dirk Van Gucht, Ryan Williams, David P. Woodruff, Qin Zhang |
The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Gösta Grahne, Ali Moallemi, Adrian Onet |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time Piotr Indyk, Reut Levi, Ronitt Rubinfeld |
Erratum for: Approximating and Testing k-Histogram Distributions in Sub-linear Time Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms Jayadev Acharya, Ilias Diakonikolas, Chinmay Hegde, Jerry Zheng Li, Ludwig Schmidt |
Fast and Near-Optimal Algorithms for Approximating Distributions by Histograms Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration Xiaocheng Hu, Miao Qiao, Yufei Tao |
Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
LogiQL: A Declarative Language for Enterprise Applications Todd J. Green |
LogiQL: A Declarative Language for Enterprise Applications Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
High-Level Why-Not Explanations using Ontologies Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan |
High-Level Why-Not Explanations using Ontologies Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|