English
Related papers

Related papers: Systematic Literature Review of Validation Methods…

200 papers

Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the study of numerous applications, including transportation…

Logic in Computer Science · Computer Science 2022-03-11 Abolfazl Lavaei , Sadegh Soudjani , Alessandro Abate , Majid Zamani

Trustworthy Artificial Intelligence (TAI) integrates ethics that align with human values, looking at their influence on AI behaviour and decision-making. Primarily dependent on self-assessment, TAI evaluation aims to ensure ethical…

Computers and Society · Computer Science 2024-09-13 Louise McCormack , Malika Bendechache

The rapid growth of research in Pattern Analysis and Machine Intelligence (PAMI) has rendered literature reviews essential for consolidating and interpreting knowledge across its many subfields. In this work, we present a comprehensive…

Digital Libraries · Computer Science 2025-09-09 Penghai Zhao , Xin Zhang , Jiayue Cao , Ming-Ming Cheng , Jian Yang , Xiang Li

Artificial Intelligence (AI) has made impressive progress in recent years and represents a key technology that has a crucial impact on the economy and society. However, it is clear that AI and business models based on it can only reach…

As hardware and software systems have grown in complexity, formal methods have been indispensable tools for rigorously specifying acceptable behaviors, synthesizing programs to meet these specifications, and validating the correctness of…

Robotics · Computer Science 2026-02-10 Anastasios Manganaris , Vittorio Giammarino , Ahmed H. Qureshi , Suresh Jagannathan

The advent of advanced AI underscores the urgent need for comprehensive safety evaluations, necessitating collaboration across communities (i.e., AI, software engineering, and governance). However, divergent practices and terminologies…

Software Engineering · Computer Science 2024-05-17 Boming Xia , Qinghua Lu , Liming Zhu , Zhenchang Xing

Context: Machine Learning (ML) is integrated into a growing number of systems for various applications. Because the performance of an ML model is highly dependent on the quality of the data it has been trained on, there is a growing…

Machine Learning · Computer Science 2024-06-03 Pierre-Olivier Côté , Amin Nikanjam , Nafisa Ahmed , Dmytro Humeniuk , Foutse Khomh

Context: The rapid adoption of AI-assisted code generation tools, such as large language models (LLMs), is transforming software development practices. While these tools promise significant productivity gains, concerns regarding the…

Software Engineering · Computer Science 2026-03-27 Vehid Geruslu , Zulfiyya Aliyeva , Eray Tüzün

Evaluating teaching effectiveness at scale remains a persistent challenge for large universities, particularly within engineering programs that enroll tens of thousands of students. Traditional methods, such as manual review of student…

Computers and Society · Computer Science 2025-08-06 Jean-Francois Chamberland , Martin C. Carlisle , Arul Jayaraman , Krishna R. Narayanan , Sunay Palsole , Karan Watson

This paper summarizes and evaluates various approaches, methods, and techniques for pursuing fairness in artificial intelligence (AI) systems. It examines the merits and shortcomings of these measures and proposes practical guidelines for…

Computers and Society · Computer Science 2022-07-21 Arash Bateni , Matthew C. Chan , Ray Eitel-Porter

Assessing the trustworthiness of artificial intelligence systems requires knowledge from many different disciplines. These disciplines do not necessarily share concepts between them and might use words with different meanings, or even use…

Information Retrieval · Computer Science 2022-08-10 Dennis Vetter , Jesmin Jahan Tithi , Magnus Westerlund , Roberto V. Zicari , Gemma Roig

Research is a fundamental process driving the advancement of human civilization, yet it demands substantial time and effort from researchers. In recent years, the rapid development of artificial intelligence (AI) technologies has inspired…

Artificial Intelligence · Computer Science 2025-11-24 Zekun Zhou , Xiaocheng Feng , Lei Huang , Xiachong Feng , Ziyun Song , Ruihan Chen , Liang Zhao , Weitao Ma , Yuxuan Gu , Baoxin Wang , Dayong Wu , Guoping Hu , Ting Liu , Bing Qin

As human-AI collaboration becomes increasingly prevalent in educational contexts, understanding and measuring the extent and nature of such interactions pose significant challenges. This research investigates the use of authorship…

Computation and Language · Computer Science 2025-09-09 Eduardo Araujo Oliveira , Madhavi Mohoni , Sonsoles López-Pernas , Mohammed Saqr

We present an overview of the literature on trust in AI and AI trustworthiness and argue for the need to distinguish these concepts more clearly and to gather more empirically evidence on what contributes to people s trusting behaviours. We…

Artificial Intelligence · Computer Science 2023-09-20 Andreas Duenser , David M. Douglas

Screening patients for clinical trial eligibility remains a manual, time-consuming, and resource-intensive process. We present a secure, scalable proof-of-concept system for Artificial Intelligence (AI)-augmented patient-trial matching that…

Like any field of empirical science, AI may be approached axiomatically. We formulate requirements for a general-purpose, human-level AI system in terms of postulates. We review the methodology of deep learning, examining the explicit and…

Artificial Intelligence · Computer Science 2018-06-26 Eray Özkural

Current test and evaluation (T&E) methods for assessing machine learning (ML) system performance often rely on incomplete metrics. Testing is additionally often siloed from the other phases of the ML system lifecycle. Research investigating…

Software Engineering · Computer Science 2022-04-11 Violet Turri , Rachel Dzombak , Eric Heim , Nathan VanHoudnos , Jay Palat , Anusha Sinha

Recent advances in artificial intelligence (AI) and natural language processing (NLP) have enabled tools to support systematic literature reviews (SLRs), yet existing frameworks often produce outputs that are efficient but contextually…

General Finance · Quantitative Finance 2026-03-19 Wei Wei , Jin Zheng , Zining Wang

The era of pervasive computing has resulted in countless devices that continuously monitor users and their environment, generating an abundance of user behavioural data. Such data may support improving the quality of service, but may also…

Computers and Society · Computer Science 2020-02-14 Abhishek Kumar , Tristan Braud , Sasu Tarkoma , Pan Hui

We qualitatively compared literature reviews produced with varying degrees of AI assistance. The same LLM, given the same corpus of 280 papers but different selections, produced dramatically different reviews, from mainstream and…

Computers and Society · Computer Science 2026-03-24 Saadi Lahlou , Annabelle Gouttebroze , Atrina Oraee , Julian Madera
‹ Prev 1 4 5 6 7 8 10 Next ›