English
Related papers

Related papers: Comment: Expert Elicitation for Reliable System De…

200 papers

Information has exploded on the Internet and mobile with the advent of the big data era. In particular, recommendation systems are widely used to help consumers who struggle to select the best products among such a large amount of…

Information Retrieval · Computer Science 2022-10-17 Mirae Kim , Simon Woo

In this note we give a wellfoundedness proof of a computable notation system for first-order reflection.

Logic · Mathematics 2019-04-03 Toshiyasu Arai

We propose and analyze a family of information processing systems, where a finite set of experts or servers are employed to extract information about a stream of incoming jobs. Each job is associated with a hidden label drawn from some…

Probability · Mathematics 2016-05-31 Laurent Massoulie , Kuang Xu

Collaboration in multi-agent autonomous systems is critical to increase performance while ensuring safety. However, due to heterogeneity of their features in, e.g., perception qualities, some autonomous systems have to be considered more…

Multiagent Systems · Computer Science 2023-05-22 Selma Saidi

We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…

Human-Computer Interaction · Computer Science 2024-03-14 Steve Reeves

The design of recommendation systems is based on complex information processing and big data interaction. This personalized view has evolved into a hot area in the past decade, where applications might have been proved to help for solving…

Software Engineering · Computer Science 2021-09-01 Liang Wei , Luiz Fernando Capretz

Reproducibility has been consistently identified as an important component of scientific research. Although there is a general consensus on the importance of reproducibility along with the other commonly used 'R' terminology (i.e.,…

Information Theory · Computer Science 2020-12-29 Anirudh Prabhu , Peter Fox

Recommender systems support decisions in various domains ranging from simple items such as books and movies to more complex items such as financial services, telecommunication equipment, and software systems. In this context,…

Information Retrieval · Computer Science 2021-02-15 Alexander Felfernig , Viet-Man Le , Andrei Popescu , Mathias Uta , Thi Ngoc Trang Tran , Müslüum Atas

We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.

Logic in Computer Science · Computer Science 2016-01-08 Gilles Dowek , Ying Jiang

A vital component of trust and transparency in intelligent systems built on machine learning and artificial intelligence is the development of clear, understandable documentation. However, such systems are notorious for their complexity and…

Software Engineering · Computer Science 2020-11-18 David Piorkowski , Daniel González , John Richards , Stephanie Houde

This is the revised version of a Comment on a paper by C. Escudero (Phys. Rev. Lett. 100, 116101, 2008; arXiv:0804.1898).

Statistical Mechanics · Physics 2009-11-13 Joachim Krug

In management education programmes today, students face a difficult time in choosing electives as the number of electives available are many. As the range and diversity of different elective courses available for selection have increased,…

Information Retrieval · Computer Science 2013-09-27 Sanjog Ray , Anuj Sharma

This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system's requirements. These…

Software Engineering · Computer Science 2025-04-01 Marie Farrell , Matt Luckcuck , Rosemary Monahan , Conor Reynolds , Oisín Sheridan

Our system illustrates how information retrieved from social networks can be used for suggesting experts for specific tasks. The system is designed to facilitate the task of finding the appropriate person(s) for a job, as a conference…

Social and Information Networks · Computer Science 2012-12-17 Yehonatan Bitton , Michael Fire , Dima Kagan , Bracha Shapira , Lior Rokach , Judit Bar-Ilan

Item ranking systems support users in multi-criteria decision-making tasks. Users need to trust rankings and ranking algorithms to reflect user preferences nicely while avoiding systematic errors and biases. However, today only few…

Machine Learning · Computer Science 2025-09-03 I. Al Hazwani , J. Schmid , M. Sachdeva , J. Bernard

1. Expert knowledge elicitation provides information to characterize ecological systems and management options. Linking expert knowledge elicitation with a curated question catalog supports a community of practice for ongoing improvement of…

Comment on ``Microarrays, Empirical Bayes and the Two-Group Model'' [arXiv:0808.0572]

Methodology · Statistics 2008-08-06 T. Tony Cai

Rating elicitation is a success element for recommender systems to perform well at cold-starting, in which the systems need to recommend items to a newly arrived user with no prior knowledge about the user's preference. Existing elicitation…

Information Retrieval · Computer Science 2024-06-04 Hieu Trung Nguyen , Duy Nguyen , Khoa Doan , Viet Anh Nguyen

Recommender systems are becoming increasingly central as mediators of information with the potential to profoundly influence societal opinion. While approaches are being developed to ensure these systems are designed in a responsible way,…

Information Retrieval · Computer Science 2022-09-28 Susan Leavy

Many contemporary research funding instruments and research policies aim for excellence at the level of individual scientists, teams or research programmes. Good bibliometric approximations of related specialties could be useful for…

Digital Libraries · Computer Science 2018-11-06 Nadine Rons