English
Related papers

Related papers: Software Testing, AI and Robotics (STAIR) Learning…

200 papers

Robotics is the next frontier in the progress of Artificial Intelligence (AI), as the real world in which robots operate represents an enormous, complex, continuous state space with inherent real-time requirements. One extreme challenge in…

Robotics · Computer Science 2022-06-23 Christophe De Wagter , Federico Paredes-Vallés , Nilay Sheth , Guido de Croon

We present an approach to experimental radar systems education based on a combination of commercial low-cost hardware with modern open-source software technologies. Following a discussion of the general top-level architecture of flexible,…

Signal Processing · Electrical Eng. & Systems 2023-01-23 Markus Gardill , Tushar Tandon

As data from IoT (Internet of Things) sensors become ubiquitous, state-of-the-art machine learning algorithms face many challenges on directly using sensor data. To overcome these challenges, methods must be designed to learn directly from…

Computer Vision and Pattern Recognition · Computer Science 2020-09-18 Qiong Liu , Yanxia Zhang

The ActiveAI project addresses key challenges in AI education for grades 7-9 students by providing an engaging AI literacy learning experience based on the AI4K12 knowledge framework. Utilizing learning science mechanisms such as goal-based…

Computers and Society · Computer Science 2023-09-25 Ying Jui Tseng , Gautam Yadav

User simulation is a valuable methodology for evaluation in Information Retrieval (IR), enabling low-cost experimentation and counterfactual analysis. However, existing simulation frameworks are primarily code-centric libraries that require…

Information Retrieval · Computer Science 2026-04-28 Saber Zerhoudi , Adam Roegiest , Michael Granitzer

Testing of autonomous systems is extremely important as many of them are both safety-critical and security-critical. The architecture and mechanism of such systems are fundamentally different from traditional control software, which appears…

Software Engineering · Computer Science 2021-03-15 Qunying Song , Emelie Engström , Per Runeson

AI-supported writing tools show strong potential for scaffolding students' learning of argumentative writing. Prior work has demonstrated the benefits of AI-supported cognitive scaffolds, such as idea exploration and argument refinement,…

Human-Computer Interaction · Computer Science 2026-03-18 Yinuo Yang , Zheng Zhang , Ningzhi Tang , Xu Wang , Alex Ambrose , Nathaniel Myers , Patrick Clauss , Toby Jia-Jun Li

In recent years, Artificial Intelligence techniques have emerged as useful tools for solving various engineering problems that were not possible or convenient to handle by traditional methods. AI has directly influenced many areas of…

Robotics · Computer Science 2014-07-02 Erik Cuevas , Daniel Zaldivar , Marco Perez- , Marte Ramirez

The transformation towards intelligence in various industries is creating more demand for intelligent and flexible products. In the field of robotics, learning-based methods are increasingly being applied, with the purpose of training…

Robotics · Computer Science 2022-09-09 Xinjie Liu

Automated machine learning systems for non-experts could be critical for industries to adopt artificial intelligence to their own applications. This paper detailed the engineering system implementation of an automated machine learning…

Human-Computer Interaction · Computer Science 2022-03-30 Phoenix X. Huang , Zhiwei Zhao , Chao Liu , Jingyi Liu , Wenze Hu , Xiaoyu Wang

The prevalence of software systems has become an integral part of modern-day living. Software usage has increased significantly, leading to its growth in both size and complexity. Consequently, software development is becoming a more…

Software Engineering · Computer Science 2023-06-07 Tiago Dias , Arthur Batista , Eva Maia , Isabel Praça

Numerous studies demonstrate the importance of self-regulation during learning by problem-solving. Recent work in learning analytics has largely examined students' use of SRL concerning overall learning gains. Limited research has related…

Computers and Society · Computer Science 2023-12-12 Conrad Borchers , Jiayi Zhang , Ryan S. Baker , Vincent Aleven

The randomized or cross-validated split of training and testing sets has been adopted as the gold standard of machine learning for decades. The establishment of these split protocols are based on two assumptions: (i)-fixing the dataset to…

Machine Learning · Computer Science 2021-06-09 Jimin Tan , Jianan Yang , Sai Wu , Gang Chen , Jake Zhao

With growing complexity and responsibility of automated driving functions in road traffic and growing scope of their operational design domains, there is increasing demand for covering significant parts of development, validation, and…

Roboticists usually test new control software in simulation environments before evaluating its functionality on real-world robots. Simulations reduce the risk of damaging the hardware and can significantly increase the development process's…

Robotics · Computer Science 2021-02-17 Felix Sygulla , Daniel Rixen

Multi-robot SLAM aims at localizing and building a map with multiple robots, interacting with each other. In the work described in this article, we analyze the pipeline of a decentralized LiDAR SLAM system to study the current limitations…

Robotics · Computer Science 2026-02-27 Federica Di Lauro , Domenico G. Sorrenti , Miguel Angel Sotelo

Virtual testing has emerged as an effective approach to accelerate the deployment of automated driving systems. Nevertheless, existing simulation toolchains encounter difficulties in integrating rapid, automated scenario generation with…

Robotics · Computer Science 2025-07-10 Dong Bi , Yongqi Zhao , Zhengguo Gu , Tomislav Mihalj , Jia Hu , Arno Eichberger

The NavINST Laboratory has developed a comprehensive multisensory dataset from various road-test trajectories in urban environments, featuring diverse lighting conditions, including indoor garage scenarios with dense 3D maps. This dataset…

We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an integrated toolchain for tasks spanning the design process,…

Machine Learning · Computer Science 2020-05-15 Daniel J. Fremont , Johnathan Chiu , Dragos D. Margineantu , Denis Osipychev , Sanjit A. Seshia

This paper presents a dynamic gamification architecture for an Extended Reality Artificial Intelligence virtual training environment designed to enhance STEM education through immersive adaptive, and kinesthetic learning. The proposed…

Human-Computer Interaction · Computer Science 2026-03-30 Shadeeb Hossain , Natalie Sommer , Neda Adib