English
Related papers

Related papers: Foundations of Traversal Based Query Execution ove…

200 papers

We present bundled references, a new building block to provide linearizable range query operations for highly concurrent linked data structures. Bundled references allow range queries to traverse a path through the data structure that is…

Data Structures and Algorithms · Computer Science 2021-01-01 Jacob Nelson , Ahmed Hassan , Roberto Palmieri

The Data Web refers to the vast and rapidly increasing quantity of scientific, corporate, government and crowd-sourced data published in the form of Linked Open Data, which encourages the uniform representation of heterogeneous data items…

Motivated by cloud security concerns, there is an increasing interest in database systems that can store and support queries over encrypted data. A common architecture for such systems is to use a trusted component such as a cryptographic…

Databases · Computer Science 2013-12-17 Arvind Arasu , Raghav Kaushik

Speculative decoding is a promising approach for accelerating large language models. The primary idea is to use a lightweight draft model to speculate the output of the target model for multiple subsequent timesteps, and then verify them in…

Computation and Language · Computer Science 2025-11-06 Yepeng Weng , Qiao Hu , Xujie Chen , Li Liu , Dianwen Mei , Huishi Qiu , Jiang Tian , Zhongchao Shi

Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization --- a linear order on operations satisfying the data…

Programming Languages · Computer Science 2017-07-07 Artem Khyzha , Mike Dodds , Alexey Gotsman , Matthew Parkinson

Analyzing large datasets requires responsive query execution, but executing SQL queries on massive datasets can be slow. This paper explores whether query execution can begin even before the user has finished typing, allowing results to…

Databases · Computer Science 2025-03-04 Haoyu Li , Srikanth Kandula , Maria Angels de Luis Balaguer , Aditya Akella , Venkat Arun

Business process models are essential for the representation, analysis, and execution of organizational processes, serving as orchestration blueprints while relying on (web) services to implement individual tasks. At the representation…

Software Engineering · Computer Science 2025-01-28 Ahmed Awad , Feras Awaysheh , Hugo A. López

A graph is a structure composed of a set of vertices (i.e.nodes, dots) connected to one another by a set of edges (i.e.links, lines). The concept of a graph has been around since the late 19$^\text{th}$ century, however, only in recent…

Data Structures and Algorithms · Computer Science 2010-12-24 Marko A. Rodriguez , Peter Neubauer

Over the past few years, large knowledge bases have been constructed to store massive amounts of knowledge. However, these knowledge bases are highly incomplete. To solve this problem, we propose a web-based question answering system system…

Artificial Intelligence · Computer Science 2023-05-09 Yang Peng , Daisy Zhe Wang

Semantic parsing shines at analyzing complex natural language that involves composition and computation over multiple pieces of evidence. However, datasets for semantic parsing contain many factoid questions that can be answered from a…

Computation and Language · Computer Science 2017-07-17 Alon Talmor , Mor Geva , Jonathan Berant

Formal query building is an important part of complex question answering over knowledge bases. It aims to build correct executable queries for questions. Recent methods try to rank candidate queries generated by a state-transition strategy.…

Computation and Language · Computer Science 2021-09-09 Yongrui Chen , Huiying Li , Yuncheng Hua , Guilin Qi

We explore link prediction as a proxy for automatically surfacing documents from existing literature that might be topically or contextually relevant to a new document. Our model uses transformer-based graph embeddings to encode the meaning…

Social and Information Networks · Computer Science 2024-03-29 William Watson , Lawrence Yong

Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often in heterogeneous formats. This calls for tools and methods for…

Artificial Intelligence · Computer Science 2007-05-23 Thomas Eiter , Michael Fink , Hans Tompits

Recent works on representation learning for Knowledge Graphs have moved beyond the problem of link prediction, to answering queries of an arbitrary structure. Existing methods are based on ad-hoc mechanisms that require training with a…

Artificial Intelligence · Computer Science 2020-06-25 Daniel Daza , Michael Cochez

This paper deals with an extended model of computations which uses the parameterized families of entities for data objects and reflects a preliminary outline of this problem. Some topics are selected out, briefly analyzed and arranged to…

Logic in Computer Science · Computer Science 2007-05-23 Larissa Ismailova , Konstantin Zinchenko , Lioubouv Bourmistrova

Effective query expansion for web search benefits from promoting both exploration and result diversity to capture multiple interpretations and facets of a query. While recent LLM-based methods have improved retrieval performance and…

Information Retrieval · Computer Science 2026-03-11 Yibin Lei , Tao Shen , Andrew Yates

Link prediction with knowledge graphs has been thoroughly studied in graph machine learning, leading to a rich landscape of graph neural network architectures with successful applications. Nonetheless, it remains challenging to transfer the…

Machine Learning · Computer Science 2025-06-10 Xingyue Huang , Miguel Romero Orth , Pablo Barceló , Michael M. Bronstein , İsmail İlkan Ceylan

Transition-based top-down parsing with pointer networks has achieved state-of-the-art results in multiple parsing tasks, while having a linear time complexity. However, the decoder of these parsers has a sequential structure, which does not…

Computation and Language · Computer Science 2022-10-21 Linlin Liu , Xiang Lin , Shafiq Joty , Simeng Han , Lidong Bing

Information flow analysis has largely ignored the setting where the analyst has neither control over nor a complete model of the analyzed system. We formalize such limited information flow analyses and study an instance of it: detecting the…

Cryptography and Security · Computer Science 2014-05-13 Michael Carl Tschantz , Amit Datta , Anupam Datta , Jeannette M. Wing

Extract-Transform-Load (ETL) processes are core components of modern data processing infrastructures. The throughput of processed data records can be adjusted by changing the amount of allocated resources, i.e.~the number of parallel…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-01 Levin Maier , Lucas Schulze , Robert Lilow , Lukas Hahn , Nikola Krasowski , Arnulf Barth , Sebastian Gaebel , Ferdi Güran , Oliver Hanau , Giovanni Wagner , Falk Borgmann , Oleg Arenz , Jan Peters