中文
相关论文

相关论文: Validating Simulations of User Query Variants

200 篇论文

Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of…

软件工程 · 计算机科学 2024-03-06 Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall

Relevance feedback techniques assume that users provide relevance judgments for the top k (usually 10) documents and then re-rank using a new query model based on those judgments. Even though this is effective, there has been little…

信息检索 · 计算机科学 2018-12-24 Keping Bi , Qingyao Ai , W. Bruce Croft

Quantitatively evaluating and comparing the performance of robotic solutions that are designed to work under a variety of conditions is inherently challenging because they need to be evaluated under numerous precisely repeatable conditions…

机器人学 · 计算机科学 2019-03-26 Achim Gerstenberg , Martin Steinert

Previous research demonstrates that the interruption of immersive experiences may lead to a bias in the results of questionnaires. Thus, the traditional way of presenting questionnaires, paper-based or web-based, may not be compatible with…

人机交互 · 计算机科学 2024-06-04 Saeed Safikhani , Lennart Nacke , Johanna Pirker

Extracting semantic representations from mobile user interfaces (UI) and using the representations for designers' decision-making processes have shown the potential to be effective computational design support tools. Current approaches rely…

人机交互 · 计算机科学 2023-09-20 Seokhyeon Park , Wonjae Kim , Young-Ho Kim , Jinwook Seo

Simulation has emerged as a popular method to study the long-term societal consequences of recommender systems. This approach allows researchers to specify their theoretical model explicitly and observe the evolution of system-level…

计算机与社会 · 计算机科学 2021-07-29 Eli Lucherini , Matthew Sun , Amy Winecoff , Arvind Narayanan

Nowadays e-commerce search has become an integral part of many people's shopping routines. One critical challenge in today's e-commerce search is the semantic matching problem where the relevant items may not contain the exact terms in the…

信息检索 · 计算机科学 2021-05-31 Yiming Qiu , Kang Zhang , Han Zhang , Songlin Wang , Sulong Xu , Yun Xiao , Bo Long , Wen-Yun Yang

Runtime verification consists in observing and collecting the execution traces of a system and checking them against a specification, with the objective of raising an error when a trace does not satisfy the specification. We consider…

计算机科学中的逻辑 · 计算机科学 2025-11-04 Chana Weil-Kennedy , Darine Rammal , Christophe Gaston , Arnault Lapitre

In information retrieval research, precision and recall have long been used to evaluate IR systems. However, given that a number of retrieval systems resembling one another are already available to the public, it is valuable to retrieve…

计算与语言 · 计算机科学 2007-05-23 Atsushi Fujii , Tetsuya Ishikawa

The aim of this paper is to present the principles and results about case-based reasoning adapted to real- time interactive simulations, more precisely concerning retrieval mechanisms. The article begins by introducing the constraints…

人工智能 · 计算机科学 2011-07-19 Pierre De Loor , Romain Bénard , Chevaillier Pierre

As NLP evaluation shifts from static benchmarks to multi-turn interactive settings, LLM-based simulators have become widely used as user proxies, serving two roles: generating user turns and providing evaluation signals. Yet, these…

Common difficulties like the cold-start problem and a lack of sufficient information about users due to their limited interactions have been major challenges for most recommender systems (RS). To overcome these challenges and many similar…

Conversational recommender systems (CRS) are interactive agents that support their users in recommendation-related goals through multi-turn conversations. Generally, a CRS can be evaluated in various dimensions. Today's CRS mainly rely on…

人机交互 · 计算机科学 2022-09-08 Ahtsham Manzoor , Dietmar jannach

Interactive tools make data analysis both more efficient and more accessible to a broad population. Simple interfaces such as Google Finance as well as complex visual exploration interfaces such as Tableau are effective because they are…

数据库 · 计算机科学 2017-12-04 Haoci Zhang , Thibault Sellam , Eugene Wu

A significant number of event-related queries are issued in Web search. In this paper, we seek to improve retrieval performance by leveraging events and specifically target the classic task of query expansion. We propose a method to expand…

信息检索 · 计算机科学 2020-12-23 Guy D. Rosin , Ido Guy , Kira Radinsky

Individual user profiles and interaction histories play a significant role in providing customized experiences in real-world applications such as chatbots, social media, retail, and education. Adaptive user representation learning by…

机器学习 · 计算机科学 2022-02-15 Ruixue Lian , Che-Wei Huang , Yuqing Tang , Qilong Gu , Chengyuan Ma , Chenlei Guo

In this study, we propose an exploratory approach aiming at a typology of user behaviour during a Web search session. We describe a typology based on generic IR variables (e.g. number of queries), but also on the study of topic…

计算与语言 · 计算机科学 2024-12-05 Claire Ibarboure , Ludovic Tanguy , Franck Amadieu

Traditional sequential recommendation (SR) methods heavily rely on explicit item IDs to capture user preferences over time. This reliance introduces critical limitations in cold-start scenarios and domain transfer tasks, where unseen items…

信息检索 · 计算机科学 2025-02-20 Wuhan Chen , Zongwei Wang , Min Gao , Xin Xia , Feng Jiang , Junhao Wen

Simulation powered by Large Language Models (LLMs) has become a promising method for exploring complex human social behaviors. However, the application of LLMs in simulations presents significant challenges, particularly regarding their…

计算机与社会 · 计算机科学 2025-02-26 Qian Wang , Zhenheng Tang , Bingsheng He

Null Hypothesis Significance Testing is the \textit{de facto} tool for assessing effectiveness differences between Information Retrieval systems. Researchers use statistical tests to check whether those differences will generalise to online…

信息检索 · 计算机科学 2025-07-23 David Otero , Javier Parapar , Álvaro Barreiro