中文
相关论文

相关论文: Exploring Values in Museum Artifacts in the SPICE …

200 篇论文

We present the Theorem Prover Museum, and initiative to conserve -- and make publicly available -- the sources and source-related artefacts of automated reasoning systems. Theorem provers have been at the forefront of Artificial…

计算机科学中的逻辑 · 计算机科学 2019-04-24 Michael Kohlhase

We introduce fCrit, a dialogue-based AI system designed to critique furniture design with a focus on explainability. Grounded in reflective learning and formal analysis, fCrit employs a multi-agent architecture informed by a structured…

人机交互 · 计算机科学 2025-08-19 Vuong Nguyen , Gabriel Vigliensoni

This work presents a maturity model for assessing catalogues of semantic artefacts, one of the keystones that permit semantic interoperability of systems. We defined the dimensions and related features to include in the maturity model by…

数字图书馆 · 计算机科学 2024-06-06 Oscar Corcho , Fajar J. Ekaputra , Ivan Heibi , Clement Jonquet , Andras Micsik , Silvio Peroni , Emanuele Storti

Exploration is a cornerstone of reinforcement learning (RL). Intrinsic motivation attempts to decouple exploration from external, task-based rewards. However, established approaches to intrinsic motivation that follow general principles…

人工智能 · 计算机科学 2025-06-30 Cansu Sancaktar , Christian Gumbsch , Andrii Zadaianchuk , Pavel Kolev , Georg Martius

With machine learning models being increasingly applied to various decision-making scenarios, people have spent growing efforts to make machine learning models more transparent and explainable. Among various explanation techniques,…

机器学习 · 计算机科学 2020-08-20 Furui Cheng , Yao Ming , Huamin Qu

Classic Delphi and Fuzzy Delphi methods are used to test content validity of a data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by…

计算机与社会 · 计算机科学 2024-03-12 Rosana Montes , Ana M. Sanchez , Pedro Villar , Francisco Herrera

This paper introduces two ongoing projects where audio augmented reality is implemented as a means of engaging museum and gallery visitors with audio archive material and associated objects, artworks and artefacts. It outlines some of the…

人机交互 · 计算机科学 2024-12-13 Laurence Cliffe , James Mansell , Joanne Cormac , Chris Greenhalgh , Adrian Hazzard

What does the age of participation look like from the perspective of a museum visitor? Arguably, the concept of participative experiences is already so deeply ingrained in our culture that we may not even think about it as participation.…

人机交互 · 计算机科学 2020-11-25 Anders Sundnes Løvlie , Lina Eklund , Annika Waern , Karin Ryding , Paulina Rajkowska

Classic Delphi and Fuzzy Delphi methods are used to test content validity of data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by using…

计算机与社会 · 计算机科学 2024-02-08 Rosana Montes , Cristina Zuheros , Jeovani M. Morales , Noe Zermeño , Jerónimo Duran , Francsico Herrera

Tangible User Interfaces (TUI) for human--computer interaction (HCI) provide the user with physical representations of digital information with the aim to overcome the limitations of screen-based interfaces. Although many compelling…

人机交互 · 计算机科学 2025-04-01 Vera Prohaska , Eduardo Castelló Ferrer

Interpretation is essential to deciphering the language of art: audiences communicate with artists by recovering meaning from visual artifacts. However, current Generative Art (GenArt) evaluators remain fixated on surface-level image…

计算机视觉与模式识别 · 计算机科学 2026-04-13 Ruixiang Jiang , Changwen Chen

Conceptual blending is a powerful tool for computational creativity where, for example, the properties of two harmonic spaces may be combined in a consistent manner to produce a novel harmonic space. However, deciding about the importance…

Artifact-centric process models aim to describe complex processes as a collection of interacting artifacts. Recent development in process mining allow for the discovery of such models. However, the focus is often on the representation of…

数据库 · 计算机科学 2017-06-08 Maikel L. van Eck , Natalia Sidorova , Wil M. P. van der Aalst

While previous work has found success in deploying visualizations as museum exhibits, it has not investigated whether museum context impacts visitor behaviour with these exhibits. We present an interactive Deep-time Literacy Visualization…

人机交互 · 计算机科学 2025-08-15 Mara Solen , Nigar Sultana , Laura Lukes , Tamara Munzner

Introducing MARK, the Multi-stAge Reasoning frameworK for cultural value survey response simulation, designed to enhance the accuracy, steerability, and interpretability of large language models in this task. The system is inspired by the…

计算与语言 · 计算机科学 2025-08-26 Haijiang Liu , Qiyuan Li , Chao Gao , Yong Cao , Xiangyu Xu , Xun Wu , Daniel Hershcovich , Jinguang Gu

Collaboration literacy requires adapting to the evolving demands of group work within complex discussions, making it difficult to develop and assess. Traditional analytics metrics capture behavioral signals while missing the semantic…

人机交互 · 计算机科学 2026-05-19 Dawei Xie , Khalil Anderson , Tochukwu Eze , Chenghong Lin , Bookyung Shin , Marcelo Worsley

Museums are important sites for the dissemination of culture and art. They are institutions rooted in history and tradition; their exhibitions are often designed to highlight these aspects. Recently, a new approach is being explored in the…

计算机视觉与模式识别 · 计算机科学 2026-05-27 Émile Bergeron , Tadagbé Dhossou , Sébastien Tremblay , Jean-François Lalonde

"Semantic Atlas" is a mathematic and statistic model to visualise word senses according to relations between words. The model, that has been applied to proximity relations from a corpus, has shown its ability to distinguish word senses as…

信息检索 · 计算机科学 2015-06-22 Bernard Jacquemin , Sabine Ploux

Sharing artifacts -- such as trained models, pre-built indexes, and the code to use them -- aids in reproducibility efforts by allowing researchers to validate intermediate steps and improves the sustainability of research by allowing…

信息检索 · 计算机科学 2025-05-09 Sean MacAvaney

We present SAInT, a Python-based tool for visually exploring and understanding the behavior of Machine Learning (ML) models through integrated local and global sensitivity analysis. Our system supports Human-in-the-Loop (HITL) workflows by…

机器学习 · 计算机科学 2025-08-07 Manuela Schuler