English
Related papers

Related papers: Mapping-equivalence and oid-equivalence of single-…

200 papers

Existential positive formulas form a fragment of first-order logic that includes and is semantically equivalent to unions of conjunctive queries, one of the most important and well-studied classes of queries in database theory. We consider…

Databases · Computer Science 2016-04-21 Hubie Chen , Stefan Mengel

We propose and study open-vocabulary monocular 3D detection, a novel task that aims to detect objects of any categores in metric 3D space from a single RGB image. Existing 3D object detectors either rely on costly sensors such as LiDAR or…

Computer Vision and Pattern Recognition · Computer Science 2025-11-27 Jin Yao , Hao Gu , Xuweiyi Chen , Jiayun Wang , Zezhou Cheng

On-the-Fly Category Discovery (OCD) requires a model, trained on an offline support set, to recognize known classes while discovering new ones from an online streaming sequence. Existing methods focus heavily on offline training. They aim…

Computer Vision and Pattern Recognition · Computer Science 2026-04-14 Weidong Tang , Bohan Zhang , Zhixiang Chi , ZiZhang Wu , Yang Wang , Yanan Wu

Scalable generation of furniture layouts is essential for many applications in virtual reality, augmented reality, game development and synthetic data generation. Many existing methods tackle this problem as a sequence generation problem…

Computer Vision and Pattern Recognition · Computer Science 2022-05-31 Wamiq Reyaz Para , Paul Guerrero , Niloy Mitra , Peter Wonka

Traditional semi-supervised object detection methods assume a fixed set of object classes (in-distribution or ID classes) during training and deployment, which limits performance in real-world scenarios where unseen classes…

Computer Vision and Pattern Recognition · Computer Science 2024-11-05 Garvita Allabadi , Ana Lucic , Siddarth Aananth , Tiffany Yang , Yu-Xiong Wang , Vikram Adve

Scene Graph Generation(SGG) is a scene understanding task that aims at identifying object entities and reasoning their relationships within a given image. In contrast to prevailing two-stage methods based on a large object detector (e.g.,…

Computer Vision and Pattern Recognition · Computer Science 2025-01-13 Xinyao Liao , Wei Wei , Dangyang Chen , Yuanyuan Fu

Open-vocabulary 3D Object Detection (OV-3DDet) aims to detect objects from an arbitrary list of categories within a 3D scene, which remains seldom explored in the literature. There are primarily two fundamental problems in OV-3DDet, i.e.,…

Computer Vision and Pattern Recognition · Computer Science 2023-10-05 Yang Cao , Yihan Zeng , Hang Xu , Dan Xu

Preference analysis is widely applied in various domains such as social choice and e-commerce. A recently proposed framework augments the relational database with a preference relation that represents uncertain preferences in the form of…

Databases · Computer Science 2020-03-17 Haoyue Ping , Julia Stoyanovich , Benny Kimelfeld

Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the…

Logic in Computer Science · Computer Science 2020-03-24 Stefan Borgwardt , Veronika Thost

Semantic IDs (SIDs) are compact discrete representations derived from multimodal item features, serving as a unified abstraction for ID-based and generative recommendation. However, learning high-quality SIDs remains challenging due to two…

A collaborative object represents a data type (such as a text document) designed to be shared by a group of dispersed users. The Operational Transformation (OT) is a coordination approach used for supporting optimistic replication for these…

Software Engineering · Computer Science 2010-07-30 Abdessamad Imine

We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…

Category Theory · Mathematics 2021-03-09 Raphael Bennett-Tennenhaus

Ontologies represent the conceptual knowledge of a domain. At the core of an ontology is the taxonomy of concepts and subconcepts that represent specific entities, which can be complex to build. In many cases, information is available in…

Artificial Intelligence · Computer Science 2026-05-26 Mathieu d'Aquin

We build upon the functional object-oriented network (FOON), a structured knowledge representation which is constructed from observations of human activities and manipulations. A FOON can be used for representing object-motion affordances.…

Robotics · Computer Science 2020-08-03 David Paulius , Ahmad Babaeian Jelodar , Yu Sun

We introduce the logic FOCN(P) which extends first-order logic by counting and by numerical predicates from a set P, and which can be viewed as a natural generalisation of various counting logics that have been studied in the literature. We…

Logic in Computer Science · Computer Science 2017-03-06 Dietrich Kuske , Nicole Schweikardt

In reading comprehension, generating sentence-level distractors is a significant task, which requires a deep understanding of the article and question. The traditional entity-centered methods can only generate word-level or phrase-level…

Computation and Language · Computer Science 2019-11-21 Xiaorui Zhou , Senlin Luo , Yunfang Wu

Several research thrusts in the area of data management have focused on understanding how changes in the data affect the output of a view or standing query. Example applications are explaining query results, propagating updates through…

Databases · Computer Science 2015-07-03 Cibele Freire , Wolfgang Gatterbauer , Neil Immerman , Alexandra Meliou

In the context of the model-driven development of data-centric applications, OCL constraints play a major role in adding precision to the source models (e.g., data models and security models). Several code-generators have been proposed to…

Databases · Computer Science 2025-09-11 Hoang Nguyen , Manuel Clavel

Operational consistent query answering (CQA) is a recent framework for CQA, based on revised definitions of repairs and consistent answers, which opens up the possibility of efficient approximations with explicit error guarantees. The main…

Databases · Computer Science 2022-04-25 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

We study the problem of fitting ontologies and constraints to positive and negative examples that take the form of a finite relational structure. As ontology and constraint languages, we consider the description logics $\mathcal{E\mkern-2mu…

Artificial Intelligence · Computer Science 2025-08-20 Simon Hosemann , Jean Christoph Jung , Carsten Lutz , Sebastian Rudolph