1 citations · 1 across the 5 of their papers we have counts for
5 papers
Developing a Decolonial Mindset for Indigenising Computing Education (CE)
Jianhua Li, Yin Paradies, Trina Myers +3
The underrepresentation of First Peoples in computing education reflects colonial legacies embedded in curricula, pedagogies, and digital infrastructures. This paper introduces the…
Structural Abstraction and Refinement for Probabilistic Programs
Guanyan Li, Juanen Li, Zhilei Han +3
In this paper, we present structural abstraction refinement, a novel framework for verifying the threshold problem of probabilistic programs. Our approach represents the structure…
Fre-CW: Targeted Attack on Time Series Forecasting using Frequency Domain Loss
Naifu Feng, Lixing Chen, Junhua Tang +3
Transformer-based models have made significant progress in time series forecasting. However, a key limitation of deep learning models is their susceptibility to adversarial attacks…
Safety2Drive: Safety-Critical Scenario Benchmark for the Evaluation of Autonomous Driving
Jingzheng Li, Tiancheng Wang, Xingyu Peng +4
Autonomous Driving (AD) systems demand the high levels of safety assurance. Despite significant advancements in AD demonstrated on open-source benchmarks like Longest6 and Bench2Dr…
The Athenian Academy: A Seven-Layer Architecture Model for Multi-Agent Systems
Lidong Zhai, Zhijie Qiu, Lvyang Zhang +5
This paper proposes the "Academy of Athens" multi-agent seven-layer framework, aimed at systematically addressing challenges in multi-agent systems (MAS) within artificial intellig…