中文
相关论文

相关论文: Adaptive Scaffolding in Block-Based Programming vi…

200 篇论文

Multiple clustering has gained significant attention in recent years due to its potential to reveal multiple hidden structures of data from different perspectives. The advent of deep multiple clustering techniques has notably advanced the…

计算机视觉与模式识别 · 计算机科学 2024-04-25 Jiawei Yao , Qi Qian , Juhua Hu

In this paper, we propose a context-aware recommender system that models students' programming skills using embeddings of the source code they submit throughout a course. These embeddings predict students' skills across multiple programming…

In this paper, we introduce a new quantum circuit synthesis (QCS) framework, Qsyn, for developers to research, develop, test, experiment, and then contribute their QCS algorithms and tools to the framework. Our framework is more…

In the era of the Internet of Everything (IoE), the exponential growth of sensor-generated data at the network edge renders efficient Probabilistic Skyline Query (PSKY) processing a critical challenge. Traditional distributed PSKY…

分布式、并行与集群计算 · 计算机科学 2026-01-30 Chuan-Chi Lai

Iterative compilation is a widely adopted technique to optimize programs for different constraints such as performance, code size and power consumption in rapidly evolving hardware and software environments. However, in case of statically…

编程语言 · 计算机科学 2014-07-16 Lianjie Luo , Yang Chen , Chengyong Wu , Shun Long , Grigori Fursin

Developers often encounter unfamiliar code during software maintenance which consumes a significant amount of time for comprehension, especially for novice programmers. Automated techniques that analyze a source code and present key…

软件工程 · 计算机科学 2021-07-07 Ashutosh Rajput , Nakshatra Gupta , Sridhar Chimalakonda

The automatic generation of computer programs is one of the main applications with practical relevance in the field of evolutionary computation. With program synthesis techniques not only software developers could be supported in their…

神经与进化计算 · 计算机科学 2021-08-30 Dominik Sobania , Dirk Schweim , Franz Rothlauf

Positive linear programs (LP), also known as packing and covering linear programs, are an important class of problems that bridges computer science, operations research, and optimization. Despite the consistent efforts on this problem, all…

数据结构与算法 · 计算机科学 2016-11-15 Zeyuan Allen-Zhu , Lorenzo Orecchia

We present a novel intelligent tutoring system which builds upon well-established hypotheses in educational psychology and incorporates them inside of a scalable software architecture. Specifically, we build upon the known benefits of…

计算机与社会 · 计算机科学 2020-12-01 Bhairav Mehta , Adithya Ramanathan

We present a method for generating training data for reinforcement learning with verifiable rewards to improve small open-weights language models on mathematical tasks. Existing data generation approaches rely on open-loop pipelines and…

机器学习 · 计算机科学 2026-02-24 Teresa Yeo , Myeongho Jeon , Dulaj Weerakoon , Rui Qiao , Alok Prakash , Armando Solar-Lezama , Archan Misra

When giving automated feedback to a student working on a beginner's exercise, many programming tutors run into a completeness problem. On the one hand, we want a student to experiment freely. On the other hand, we want a student to write…

人机交互 · 计算机科学 2020-11-17 Niek Mulleners , Johan Jeuring , Bastiaan Heeren

Background: Programming skills are advantageous to navigate today's society, so it is important to teach them to students. However, failure rates for programming courses are high, and especially students who fall behind early in…

计算机与社会 · 计算机科学 2024-02-06 Belinda Schantong , Dominik Gorgosch , Janet Siegmund

Dynamic software adaptability is one of the central features leveraged by autonomic computing. However, developing software that changes its behavior at run time adapting to the operational conditions is a challenging task. Several…

编程语言 · 计算机科学 2012-04-02 Guido Salvaneschi , Carlo Ghezzi , Matteo Pradella

Social robots hold promise for reducing job interview anxiety, yet designing agents that provide both psychological safety and instructional guidance remains challenging. Through a three-phase iterative design study (N = 8), we empirically…

人机交互 · 计算机科学 2026-01-19 Wanqi Zhang , Jiangen He , Marielle Santos

Humans have long relied on visual aids like sketches and diagrams to support reasoning and problem-solving. Visual tools, like auxiliary lines in geometry or graphs in calculus, are essential for understanding complex ideas. However, many…

人机交互 · 计算机科学 2025-04-03 Steven-Shine Chen , Jimin Lee , Paul Pu Liang

Humans often think of complex tasks as combinations of simpler subtasks in order to learn those complex tasks more efficiently. For example, a backflip could be considered a combination of four subskills: jumping, tucking knees, rolling…

机器学习 · 计算机科学 2020-10-21 Pranay Pasula

Open-ended tasks, such as coding problems that are common in computer science education, provide detailed insights into student knowledge. However, training large language models (LLMs) to simulate and predict possible student errors in…

机器学习 · 计算机科学 2026-05-19 Zhangqi Duan , Nigel Fernandez , Andrew Lan

Max-cut, clustering, and many other partitioning problems that are of significant importance to machine learning and other scientific fields are NP-hard, a reality that has motivated researchers to develop a wealth of approximation…

数据结构与算法 · 计算机科学 2018-10-17 Maria-Florina Balcan , Vaishnavh Nagarajan , Ellen Vitercik , Colin White

The blocks editor, such as the editor in Scratch, is widely applied for visual programming languages (VPL) nowadays. Despite it's friendly for non-programmers, it exists three main limitations while displaying block codes: (1) the…

人机交互 · 计算机科学 2016-05-04 Sheng-yi Hsu , Yuan-fu Lou , Chuen-tsai Sun

Providing feedback on programming assignments manually is a tedious, error prone, and time-consuming task. In this paper, we motivate and address the problem of generating feedback on performance aspects in introductory programming…

编程语言 · 计算机科学 2014-09-18 Sumit Gulwani , Ivan Radiček , Florian Zuleger