Papers

  • A Spatial-channel-temporal-fused Attention for Spiking Neural Networks

    Spiking neural networks (SNNs) mimic brain computational strategies, and exhibit substantial capabilities in spatiotemporal information processing. As an essential factor for human perception, visual attention refers to the dynamic selection process of salient regions in biological vision systems. Although mechanisms of visual attention have achieved great success in computer vision, …

  • Accelerating Online Reinforcement Learning via Supervisory Safety Systems

    Deep reinforcement learning (DRL) is a promising method to learn control policies for robots only from demonstration and experience. To cover the whole dynamic behaviour of the robot, the DRL training is an active exploration process typically derived in simulation environments. Although this simulation training is cheap and fast, applying …

  • Software Product Line for Metaverse: Preliminary Results

    The Metaverse is a network of eXtended Reality applications (XR apps) connected to each other, over the Internet infrastructure, allowing network users, systems, and devices to access them. It is very challenging to implement solutions for XR apps, due to the combination of complex concerns that should be addressed: multiple …

  • Outage Probability Analysis of RF/FSO-VLC Communication Relaying System

    This paper presents an analysis of the asymmetric relaying system which provides communication between hybrid outdoor sub-system and indoor visible light communications (VLC) access points. The outdoor sub-system represents a hybrid radio-frequency (RF)/free-space optical (FSO) system, introduced to reduce the impact of weather conditions on transmission quality. Closed-form outage probability …

  • Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution

    Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testing requirements mandated by the certification standards, while controlling at the same time the costs of the testing process. At the same time, the development of safety-critical …

  • Bosonic Qiskit

    The practical benefits of hybrid quantum information processing hardware that contains continuous-variable objects (bosonic modes such as mechanical or electromagnetic oscillators) in addition to traditional (discrete-variable) qubits have recently been demonstrated by experiments with bosonic codes that reach the break-even point for quantum error correction and by efficient Gaussian boson …

  • SEER: Safe Efficient Exploration for Aerial Robots using Learning to Predict Information Gain

    We address the problem of efficient 3-D exploration in indoor environments for micro aerial vehicles with limited sensing capabilities and payload/power constraints. We develop an indoor exploration framework that uses learning to predict the occupancy of unseen areas, extracts semantic features, samples viewpoints to predict information gains for different exploration …

  • High-order Multi-view Clustering for Generic Data

    Graph-based multi-view clustering has achieved better performance than most non-graph approaches. However, in many real-world scenarios, the graph structure of data is not given or the quality of initial graph is poor. Additionally, existing methods largely neglect the high-order neighborhood information that characterizes complex intrinsic interactions. To tackle these problems, …

  • Bootstrapping Multi-view Representations for Fake News Detection

    Previous researches on multimedia fake news detection include a series of complex feature extraction and fusion networks to gather useful information from the news. However, how cross-modal consistency relates to the fidelity of news and how features from different modalities affect the decision-making are still open questions. This paper presents …