3646 posts from this source
Git is widely used for collaborative software development, but it can be challenging for newcomers. While most learning tools focus on individual workflows, Git...
Gaussian processes (GPs) are a widely used regression tool, but the cubic complexity of exact solvers limits their scalability. To address this challenge, we ex...
Watching training videos passively leads to superficial learning. Adding gamification can increase engagement. We study how software engineering students and in...
The adoption of large language models in safety-critical system engineering is constrained by trustworthiness, traceability, and alignment with established veri...
Traditional database fuzzing techniques primarily focus on syntactic correctness and general SQL structures, leaving critical yet obscure DBMS features, such as...
The open-source software (OSS) community has historically been dominated by English as the primary language for code, documentation, and developer interactions....
Autonomous coding agents increasingly contribute to software development by submitting pull requests on GitHub; yet, little is known about how these contributio...
iCloud Drive presents a filesystem interface but implements cloud synchronization semantics that diverge from POSIX in fundamental ways. This divergence is not ...
The increasing variety of input data and complexity of tasks that are handled by the devices of internet of things (IoT) environments require solutions that con...
Representational similarity metrics typically force all units to be matched, making them susceptible to noise and outliers common in neural representations. We ...
Managing personal health data is a challenge in today's fragmented and institution-centric healthcare ecosystem. Individuals often lack meaningful control over ...
This brief presents a runtime-adaptive, performance-enhanced vector engine featuring a low-resource, iterative CORDIC-based MAC unit for edge AI acceleration. T...
Reinforcement learning fine-tuning has proven effective for steering generative diffusion models toward desired properties in image and molecular domains. Graph...
Fuzzy systems show strong potential in explainable AI due to their rule-based architecture and linguistic variables. Existing approaches navigate the accuracy-e...
Digital collaboration systems support asynchronous work over replicated data, where conflicts arise when concurrent operations cannot be unambiguously integrate...
We introduce the problem of asymptotic subspace consensus, which requires the outputs of processes to converge onto a common subspace while remaining inside the...
For every mutation rate p in (0, 1), and for all varepsilon > 0, there is a fitness function f : {0,1}^n to mathbb{R} with a unique maximum for which the opt...
The remarkable performance of modern AI systems has been driven by unprecedented scales of data, computation, and energy -- far exceeding the resources required...
Transformer models contain substantial internal redundancy arising from coordinate-dependent representations and continuous symmetries, in model space and in he...
Clustering is widely used for unsupervised structure discovery, yet it offers limited insight into how reliable each individual assignment is. Diagnostics, such...
Streaming video understanding requires models to robustly encode, store, and retrieve information from a continuous video stream to support accurate video quest...
As embodied agents become central to VR, telepresence, and digital human applications, their motion must go beyond speech-aligned gestures: agents should turn t...
Large Language Models (LLMs) have made significant progress in reasoning tasks across various domains such as mathematics and coding. However, their performance...
Autonomous (noise-agnostic) generative models, such as Equilibrium Matching and blind diffusion, challenge the standard paradigm by learning a single, time-inva...
