English
Related papers

Related papers: Heterogeneous knowledge representation using a fin…

200 papers

Optimization modeling stands as the engine of scientific decision-making in logistics and transportation, yet its adoption is hindered by a steep expertise threshold and the latency of manual workflows. Automating this process via Large…

Artificial Intelligence · Computer Science 2026-04-21 Beinuo Yang , Qishen Zhou , Junyi Li , Chenxing Su , Panagiotis Angeloudis , Simon Hu

Probabilistic automata are an extension of nondeterministic finite automata in which transitions are annotated with probabilities. Despite its simplicity, this model is very expressive and many of the associated algorithmic questions are…

Formal Languages and Automata Theory · Computer Science 2022-05-20 Nathanaël Fijalkow , Cristian Riveros , James Worrell

Concept bottleneck models (CBMs), which predict human-interpretable concepts (e.g., nucleus shapes in cell images) before predicting the final output (e.g., cell type), provide insights into the decision-making processes of the model.…

Computer Vision and Pattern Recognition · Computer Science 2024-07-10 Winnie Pang , Xueyi Ke , Satoshi Tsutsui , Bihan Wen

In conceptual modeling (CM), humans apply abstraction to represent excerpts of reality for means of understanding and communication, and processing by machines. Artificial Intelligence (AI) is applied to vast amounts of data to…

Software Engineering · Computer Science 2023-03-14 Dominik Bork , Syed Juned Ali , Ben Roelens

A mimic computing oriented automaton can directly portray the behaviors of a mimic computing system. In this paper, we investigate the following theoretical problems on this type of automata: operational semantics and computational ability.…

Formal Languages and Automata Theory · Computer Science 2018-01-30 Weijun Zhu

Multimodal artificial intelligence (AI) systems have the potential to enhance clinical decision-making by interpreting various types of medical data. However, the effectiveness of these models across all medical fields is uncertain. Each…

First-order logic is a natural way of expressing the properties of computation, traditionally used in various program logics for expressing the correctness properties and certificates. Subsequently, modern methods in the automated inference…

Programming Languages · Computer Science 2021-11-02 Yurii Kostyukov , Dmitry Mordvinov , Grigory Fedyukovich

Survival prediction is a complex ordinal regression task that aims to predict the survival coefficient ranking among a cohort of patients, typically achieved by analyzing patients' whole slide images. Existing deep learning approaches…

Computer Vision and Pattern Recognition · Computer Science 2024-05-01 Minghao Han , Xukun Zhang , Dingkang Yang , Tao Liu , Haopeng Kuang , Jinghui Feng , Lihua Zhang

Electronic Health Records have become popular sources of data for secondary research, but their use is hampered by the amount of effort it takes to overcome the sparsity, irregularity, and noise that they contain. Modern learning…

Applications · Statistics 2025-02-28 Jacek M. Bajor , Diego A. Mesa , Travis J. Osterman , Thomas A. Lasko

Representation learning of knowledge graphs encodes entities and relation types into a continuous low-dimensional vector space, learns embeddings of entities and relation types. Most existing methods only concentrate on knowledge triples,…

Artificial Intelligence · Computer Science 2017-04-20 Mengya Wang , Hankui Zhuo , Huiling Zhu

Neurosymbolic artificial intelligence is a growing field of research aiming to combine neural network learning capabilities with the reasoning abilities of symbolic systems. Informed multi-label classification is a sub-field of…

Artificial Intelligence · Computer Science 2025-01-24 Arthur Ledaguenel , Céline Hudelot , Mostepha Khouadjia

Cancer remains one of the most challenging diseases to treat in the medical field. Machine learning has enabled in-depth analysis of rich multi-omics profiles and medical imaging for cancer diagnosis and prognosis. Despite these…

Machine Learning · Computer Science 2024-01-15 Lingchao Mao , Hairong Wang , Leland S. Hu , Nhan L Tran , Peter D Canoll , Kristin R Swanson , Jing Li

Artificial intelligence has made great strides in the last decade but still falls short of the human brain, the best-known example of intelligence. Not much is known of the neural processes that allow the brain to make the leap to achieve…

Artificial Intelligence · Computer Science 2021-08-13 Ananta Nair

In this study we explore the spontaneous apparition of visible intelligible reasoning in simple artificial networks, and we connect this experimental observation with a notion of semantic information. We start with the reproduction of a DNN…

Artificial Intelligence · Computer Science 2021-08-11 Jean-Claude Belfiore , Daniel Bennequin , Xavier Giraud

Knowledge graph question answering is an important technology in intelligent human-robot interaction, which aims at automatically giving answer to human natural language question with the given knowledge graph. For the multi-relation…

Computation and Language · Computer Science 2021-06-04 Xinmeng Li , Mamoun Alazab , Qian Li , Keping Yu , Quanjun Yin

In recent years, deep models have achieved remarkable success in various vision tasks. However, their performance heavily relies on large training datasets. In contrast, humans exhibit hybrid learning, seamlessly integrating structured…

Computer Vision and Pattern Recognition · Computer Science 2023-12-07 Jin Yuan , Yang Zhang , Yangzhou Du , Zhongchao Shi , Xin Geng , Jianping Fan , Yong Rui

We propose a novel approach to the problem of semantic heterogeneity where data are organized into a set of stratified and independent representation layers, namely: conceptual(where a set of unique alinguistic identifiers are connected…

Databases · Computer Science 2021-05-21 Fausto Giunchiglia , Alessio Zamboni , Mayukh Bagchi , Simone Bocca

Modern applications of AI involve training and deploying machine learning models across heterogeneous and potentially massive environments. Emerging diversity of data not only brings about new possibilities to advance AI systems, but also…

Machine Learning · Computer Science 2025-05-20 Krikamol Muandet

First-principles atomistic simulations are essential for understanding complex material phenomena but are fundamentally limited by their computational cost. While Machine Learning Interatomic Potentials (MLIPs) have drastically improved…

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan
‹ Prev 1 4 5 6 7 8 10 Next ›