中文
相关论文

相关论文: Recommendations for the Technical Infrastructure f…

200 篇论文

This white paper examines the technical foundations of European AI standardization under the AI Act. It explains how harmonized standards enable the presumption of conformity mechanism, describes the CEN/CENELEC standardization process, and…

计算机与社会 · 计算机科学 2026-02-03 Piercosma Bisconti , Marcello Galisai

Although the goal of achieving semantic interoperability of electronic health records (EHRs) is pursued by many researchers, it has not been accomplished yet. In this paper, we present a proposal that smoothes out the way toward the…

人工智能 · 计算机科学 2024-01-23 Idoia Berges , Jesús Bermúdez , Arantza Illarramendi

Considering the evolution of the semantic wiki engine based platforms, two main approaches could be distinguished: Ontologies for Wikis (OfW) and Wikis for Ontologies (WfO). OfW vision requires existing ontologies to be imported. Most of…

Despite being an essential step in software development, writing requirements specifications is frequently performed in natural language, leading to issues like inconsistency, incompleteness, or ambiguity. The ITLingo initiative has…

软件工程 · 计算机科学 2023-12-19 Andre Rodrigues , Alberto Rodrigues da Silva

This paper describes the design and implementation of mechanisms for light-weight inclusion of formal mathematics in informal mathematical writings, particularly in a Web-based setting. This is conceptually done in three stages: (i) by…

数学软件 · 计算机科学 2012-07-12 Carst Tankink , Christoph Lange , Josef Urban

There is a growing interest in running legal contracts on digital systems, at the same time, it is important to understand to what extent software contracts may capture legal content. We then undertake a foundational study of legal…

编程语言 · 计算机科学 2021-10-22 Silvia Crafa , Cosimo Laneve , Giovanni Sartor

In this paper we describe our efforts to bring scientific data into the digital library. This has required extension of the standard WWW, and also the extension of metadata standards far beyond the Dublin Core. Our system demonstrates this…

数字图书馆 · 计算机科学 2007-05-23 Robert E. McGrath , Joe Futrelle , Ray Plante , Damien Guillaume

Acknowledged as one of the most successful online cooperative projects in human society, Wikipedia has obtained rapid growth in recent years and desires continuously to expand content and disseminate knowledge values for everyone globally.…

计算与语言 · 计算机科学 2022-10-25 Hoang Thang Ta , Alexander Gelbukha , Grigori Sidorov

Applications which use human speech as an input require a speech interface with high recognition accuracy. The words or phrases in the recognised text are annotated with a machine-understandable meaning and linked to knowledge graphs for…

人机交互 · 计算机科学 2017-05-26 Ashwini Jaya Kumar , Sören Auer , Christoph Schmidt , Joachim köhler

Interest has been revived in the creation of a "bill of rights" for Internet users. This paper analyzes users' rights into ten broad principles, as a basis for assessing what users regard as important and for comparing different multi-issue…

计算机与社会 · 计算机科学 2017-11-17 Todd Davies

The ATLAS collaboration defines methods, establishes procedures, and organises advisory groups to manage the publication processes of scientific papers, conference papers, and public notes. All stages are managed through web systems,…

In current inter-organizational data spaces, usage policies are enforced mainly at the asset level: a whole document or dataset is either shared or withheld. When only parts of a document are sensitive, providers who want to avoid leaking…

密码学与安全 · 计算机科学 2026-02-20 René Brinkhege , Prahlad Menon

Over the years, RDF streaming was explored in research and practice from many angles, resulting in a wide range of RDF stream definitions. This variety presents a major challenge in discussing and integrating streaming systems, due to the…

数据库 · 计算机科学 2024-06-28 Piotr Sowinski , Pawel Szmeja , Maria Ganzha , Marcin Paprzycki

Neural networks have shown substantial promise at automatic theorem-proving in interactive proof assistants (ITPs) like Lean and Coq. However, most neural theorem-proving models are restricted to specific ITPs, leaving out opportunities for…

人工智能 · 计算机科学 2025-02-18 Amitayush Thakur , George Tsoukalas , Greg Durrett , Swarat Chaudhuri

COST Action 18230 INDCOR (Interactive Narrative Design for Complexity Representations) is an interdisciplinary network of researchers and practitioners intended to further the use of interactive digital narratives (IDN1) to represent highly…

多媒体 · 计算机科学 2020-11-10 Hartmut Koenitz , Mirjam Palosaari Eladhari , Sandy Louchart , Frank Nack

With the adoption of Semantic Web technologies, an increasing number of vocabularies and ontologies have been developed in different domains, ranging from Biology to Agronomy or Geosciences. However, many of these ontologies are still…

数字图书馆 · 计算机科学 2020-03-31 Daniel Garijo , María Poveda-Villalón

In this article, we focus on the importance of open research information as the foundation for transparent and responsible research assessment and discovery of research outputs. We introduce work in which we support the open research…

数字图书馆 · 计算机科学 2023-01-05 Daniel Nüst , Gazi Yücel , Anette Cordts , Christian Hauschke

Consent dialogues are a source of annoyance, malicious intent, dark patterns, illegal practices and a plethora of other issues. This work presents known problems based on GDPR requirements grouped into two categories: (i) UI/UX for…

计算机与社会 · 计算机科学 2022-08-12 Harshvardhan J. Pandit

Free and open source software has gained a lot of momentum in the industry and the research community. The latest advances in privacy legislation, including the EU General Data Protection Regulation (GDPR) and the California Consumer…

软件工程 · 计算机科学 2025-12-12 Georgia M. Kapitsaki , Maria Papoutsoglou

Recommender systems are used to provide relevant suggestions on various matters. Although these systems are a classical research topic, knowledge is still limited regarding the public opinion about these systems. Public opinion is also…

人机交互 · 计算机科学 2024-06-17 Jukka Ruohonen
‹ 上一页 1 8 9 10 下一页 ›