中文
相关论文

相关论文: Towards an Interaction-based Integration of MKM Se…

200 篇论文

Engineered solutions are becoming more complex and multi-disciplinary in nature. This evolution requires new techniques to enhance design and analysis tasks that incorporate data integration and interoperability across various engineering…

Semantic data and knowledge infrastructures must reconcile two fundamentally different forms of representation: natural language, in which most knowledge is created and communicated, and formal semantic models, which enable…

计算与语言 · 计算机科学 2026-03-24 Lars Vogt

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented…

计算机科学中的逻辑 · 计算机科学 2011-05-04 Florian Rabe , Michael Kohlhase

In the rapid development of artificial intelligence, solving complex AI tasks is a crucial technology in intelligent mobile networks. Despite the good performance of specialized AI models in intelligent mobile networks, they are unable to…

人工智能 · 计算机科学 2023-10-16 Lei Yao , Yong Zhang , Zilong Yan , Jialu Tian

In many cases, government data is still "locked" in several "data silos", even within the boundaries of a single (inter-)national public organization with disparate and distributed organizational units and departments spread across multiple…

信息检索 · 计算机科学 2014-07-03 Konstantinos Kotis , Iraklis Athanasakis , George Vouros

For nearly two decades, conversational agents have played a critical role in structuring interactions in collaborative learning, shaping group dynamics, and supporting student engagement. The recent integration of large language models…

人机交互 · 计算机科学 2025-10-23 Zhen Wu , Jiaxin Shi , R. Charles Murray , Carolyn Rosé , Micah San Andres

Software architecture is the foundation of a system's ability to achieve various quality attributes, including software performance. However, there lacks comprehensive and in-depth understanding of why and how software architecture and…

软件工程 · 计算机科学 2024-10-24 Yutong Zhao , Lu Xiao , Chenhao Wei , Rick Kazman , Ye Yang

Unique developmental and operational characteristics of ML components as well as their inherent uncertainty demand robust engineering principles are used to ensure their quality. We aim to determine how software systems can be (re-)…

软件工程 · 计算机科学 2022-01-11 Alex Serban , Joost Visser

Disconnected data silos within enterprises obstruct the extraction of actionable insights, diminishing efficiency in areas such as product development, client engagement, meeting preparation, and analytics-driven decision-making. This paper…

人工智能 · 计算机科学 2025-03-12 Rajeev Kumar , Kumar Ishan , Harishankar Kumar , Abhinandan Singla

K-12 educators are increasingly using Large Language Models (LLMs) to create instructional materials. These systems excel at producing fluent, coherent content, but often lack support for high-quality teaching. The reason is twofold: first,…

计算机与社会 · 计算机科学 2025-08-26 Jiayi Wang , Ruiwei Xiao , Xinying Hou , John Stamper

Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately,…

数字图书馆 · 计算机科学 2011-05-13 Serge Autexier , Catalin David , Dominik Dietrich , Michael Kohlhase , Vyacheslav Zholudev

The disruptive potential of the upcoming digital transformations for the industrial manufacturing domain have led to several reference frameworks and numerous standardization approaches. On the other hand, the Semantic Web community has…

人工智能 · 计算机科学 2019-09-04 Sebastian R. Bader , Maria Maleshkova

Over the last several years, the computation landscape for conducting data analytics has completely changed. While in the past, a lot of the activities have been undertaken in isolation by companies, and research institutions, today's…

分布式、并行与集群计算 · 计算机科学 2023-10-27 Gregor von Laszewski , Wo Chang , Russell Reinsch , Olivera Kotevska , Ali Karimi , Abdul Rahman Sattar , Garry Mazzaferro , Geoffrey C. Fox

The rise of machine learning (ML) and its integration into software systems has drastically changed development practices. While software engineering traditionally focused on manually created code artifacts with dedicated processes and…

软件工程 · 计算机科学 2025-02-25 Yorick Sens , Henriette Knopp , Sven Peldszus , Thorsten Berger

Semantic communications (SemCom), as one of the key technologies for 6G, is shifting networks from bit transmission to semantic information exchange. On this basis, introducing agentic artificial intelligence (AI) with perception, memory,…

系统与控制 · 电气工程与系统科学 2025-12-30 Haixiao Gao , Mengying Sun , Ruichen Zhang , Yanhan Wang , Xiaodong Xu , Nan Ma , Dusit Niyato , Ping Zhang

Today, reusable components are available in several repositorys. These are certainly conceived for re-use. However, this re-use is not immediate, it requires, in effect, to pass by some essential conceptual operations, among which in…

软件工程 · 计算机科学 2010-05-26 Hicham Elasri , Larbi Kzaz , Abderrahim Sekkaki

In this paper, we propose to incorporate the blackboard architecture into LLM multi-agent systems (MASs) so that (1) agents with various roles can share all the information and others' messages during the whole problem-solving process, (2)…

多智能体系统 · 计算机科学 2025-07-03 Bochen Han , Songmao Zhang

Various architecture frameworks for software, systems, and enterprises have been proposed in the literature. They identified several stakeholders and defined modeling perspectives, architecture viewpoints, and views to frame and address…

软件工程 · 计算机科学 2025-09-04 Armin Moin , Atta Badii , Stephan Günnemann , Moharram Challenger

Large Language Models (LLMs) have showcased remarkable capabilities surpassing conventional NLP challenges, creating opportunities for use in production use cases. Towards this goal, there is a notable shift to building compound AI systems,…

The development of applications for obtaining interpretable results in a simple and summarized manner in multi-state models is a research field with great potential, namely in terms of using open source tools that can be easily implemented…

统计计算 · 统计学 2022-02-21 Gustavo Soutinho , Luís Meira-Machado