English
Related papers

Related papers: MultiCategory: Multi-model Query Processing Meets …

200 papers

We expect that multiscale simulations will be one of the main high performance computing workloads in the exascale era. We propose multiscale computing patterns as a generic vehicle to realise load balanced, fault tolerant and energy aware…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-12-09 Saad Alowayyed , Derek Groen , Peter V. Coveney , Alfons G. Hoekstra

Data integration is one of the main problems in distributed data sources. An approach is to provide an integrated mediated schema for various data sources. This research work aims at developing a framework for defining an integrated schema…

Databases · Computer Science 2012-11-28 Amineh Amini , Hadi Saboohi , Nasser Nemat bakhsh

Data comes in many forms. From a shallow perspective, they can be viewed as being either in structured (e.g., as a relation, as key-value pairs) or unstructured (e.g., text, image) formats. So far, machines have been fairly good at…

Computation and Language · Computer Science 2026-03-31 Md Ataur Rahman , Dimitris Sacharidis , Oscar Romero , Sergi Nadal

We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed substantial engineering effort to teach Coq to…

Category Theory · Mathematics 2022-05-04 Jason Gross , Adam Chlipala , David I. Spivak

One of the most important problems in the field of pattern recognition is data classification. Due to the increasing development of technologies introduced in the field of data classification, some of the solutions are still open and need…

Machine Learning · Computer Science 2021-08-03 Khalil Taheri , Hadi Moradi , Mostafa Tavassolipour

We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…

Computational Complexity · Computer Science 2018-10-01 Noson S. Yanofsky

An outline and summary of four new potential applications of category theory to OOP research are presented. These include (1) the use of operads to model Java subtyping, (2) the use of Yoneda's lemma and representable functors in the…

Programming Languages · Computer Science 2018-01-01 Moez A. AbdelGawad

Tables form a central component in both exploratory data analysis and formal reporting procedures across many industries. These tables are often complex in their conceptual structure and in the computations that generate their individual…

Computation · Statistics 2023-06-30 Gabriel Becker , Adrian Waddell

Complex systems are often driven by higher-order interactions among multiple units, naturally represented as hypergraphs. Understanding dependency structures within these hypergraphs is crucial for understanding and predicting the behavior…

Social and Information Networks · Computer Science 2025-05-29 John Hood , Caterina De Bacco , Aaron Schein

This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and…

Category Theory · Mathematics 2024-03-26 Jonathan Gorard

Process event data is usually stored either in a sequential process event log or in a relational database. While the sequential, single-dimensional nature of event logs aids querying for (sub)sequences of events based on temporal relations…

Databases · Computer Science 2021-04-06 Stefan Esser , Dirk Fahland

Practically all of the planning research is limited to states represented in terms of Boolean and numeric state variables. Many practical problems, for example, planning inside complex software systems, require far more complex data types,…

Artificial Intelligence · Computer Science 2023-01-02 Mojtaba Elahi , Jussi Rintanen

Existing multimodal methods typically assume that different modalities share the same category set. However, in real-world applications, the category distributions in multimodal data exhibit inconsistencies, which can hinder the model's…

Computer Vision and Pattern Recognition · Computer Science 2025-06-12 Yangrui Zhu , Junhua Bao , Yipan Wei , Yapeng Li , Bo Du

This paper develops a methodology for representing machine learning models as models of formal theories, grounded in the perspective that machine learning models are a form of database and that databases are models of theories in coherent…

Category Theory · Mathematics 2026-04-17 Matthew Pugh , Jo Grundy , Corina Cirstea , Nick Harris

In e-commerce system, category prediction is to automatically predict categories of given texts. Different from traditional classification where there are no relations between classes, category prediction is reckoned as a standard…

Information Retrieval · Computer Science 2020-05-15 Dehong Gao , Wenjing Yang , Huiling Zhou , Yi Wei , Yi Hu , Hao Wang

With the rapid development of deep learning, training Big Models (BMs) for multiple downstream tasks becomes a popular paradigm. Researchers have achieved various outcomes in the construction of BMs and the BM application in many fields. At…

We propose a Bayesian approach to estimating parameters in multiclass functional models. Unordered multinomial probit, ordered multinomial probit and multinomial logistic models are considered. We use finite random series priors based on a…

Methodology · Statistics 2018-08-03 Xiuqi Li , Subhashis Ghosal

Sequential modelling entails making sense of sequential data, which naturally occurs in a wide array of domains. One example is systems that interact with users, log user actions and behaviour, and make recommendations of items of potential…

Information Retrieval · Computer Science 2021-09-15 Christian Hansen

Finding patterns in data and being able to retrieve information from those patterns is an important task in Information retrieval. Complex search requirements which are not fulfilled by simple string matching and require exploring certain…

Information Retrieval · Computer Science 2017-10-03 Amanpreet Singh , Karthik Venkatesan , Simranjyot Singh Gill

In this paper, we present a novel approach to construct multiclass classifiers by means of arrangements of hyperplanes. We propose different mixed integer (linear and non linear) programming formulations for the problem using extensions of…

Optimization and Control · Mathematics 2021-01-12 Víctor Blanco , Alberto Japón , Justo Puerto