中文
相关论文

相关论文: Heterogeneous knowledge representation using a fin…

200 篇论文

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…

人工智能 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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.…

计算机视觉与模式识别 · 计算机科学 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…

软件工程 · 计算机科学 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.…

形式语言与自动机理论 · 计算机科学 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…

编程语言 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

应用统计 · 统计学 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,…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算与语言 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

数据库 · 计算机科学 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…

机器学习 · 计算机科学 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.…

计算机科学中的逻辑 · 计算机科学 2025-10-10 Rémi Morvan