English
Related papers

Related papers: Instrumenting an SMT Solver to Solve Hybrid Networ…

200 papers

Deep Neural Networks (DNNs) training can be difficult due to vanishing and exploding gradients during weight optimization through backpropagation. To address this problem, we propose a general class of Hamiltonian DNNs (H-DNNs) that stem…

Machine Learning · Computer Science 2023-01-02 Clara Lucía Galimberti , Luca Furieri , Liang Xu , Giancarlo Ferrari-Trecate

Graph Neural Networks (GNNs) excel at learning from pairwise interactions but often overlook multi-way and hierarchical relationships. Topological Deep Learning (TDL) addresses this limitation by leveraging combinatorial topological spaces.…

Neural networks suffer from spectral bias having difficulty in representing the high frequency components of a function while relaxation methods can resolve high frequencies efficiently but stall at moderate to low frequencies. We exploit…

Hierarchical least-squares programming (HLSP) is an important tool in optimization as it enables the stacking of any number of priority levels in order to reflect complex constraint relationships, for example in physical systems like…

Optimization and Control · Mathematics 2025-06-16 Kai Pfeiffer

As the ground objects become increasingly complex, the classification results obtained by single source remote sensing data can hardly meet the application requirements. In order to tackle this limitation, we propose a simple yet effective…

Image and Video Processing · Electrical Eng. & Systems 2021-04-07 Wenxia Liu , Feng Gao , Junyu Dong

To improve traffic management ability, Internet Service Providers (ISPs) are gradually upgrading legacy network devices to programmable devices that support Software-Defined Networking (SDN). The coexistence of legacy and SDN devices gives…

Networking and Internet Architecture · Computer Science 2019-07-24 Zehua Guo , Weikun Chen , Ya-Feng Liu , Yang Xu , Zhi-Li Zhang

Efficient spectrum allocation has become crucial as the surge in wireless-connected devices demands seamless support for more users and applications, a trend expected to grow with 6G. Innovations in satellite technologies such as SpaceX's…

Signal Processing · Electrical Eng. & Systems 2025-01-17 Muhammad Ahmed Mohsin , Hassan Rizwan , Muhammad Umer , Sagnik Bhattacharya , Ahsan Bilal , John M. Cioffi

Satisfiability problem (SAT) is a cornerstone of computational complexity with broad industrial applications, and it remains challenging to optimize modern SAT solvers in real-world settings due to their intricate architectures. While…

Artificial Intelligence · Computer Science 2025-07-31 Yiwen Sun , Furong Ye , Zhihan Chen , Ke Wei , Shaowei Cai

Network slicing is a critical driver for guaranteeing the diverse service level agreements (SLA) in 5G and future networks. Inter-slice radio resource allocation (IS-RRA) in the radio access network (RAN) is very important. However, user…

Systems and Control · Electrical Eng. & Systems 2022-08-09 Heng Zhang , Guangjin Pan , Shugong Xu , Shunqing Zhang , Zhiyuan Jiang

High-level synthesis (HLS) enhances digital hardware design productivity through a high abstraction level. Even if the HLS abstraction prevents fine-grained manual register-transfer level (RTL) optimizations, it also enables automatable…

Hardware Architecture · Computer Science 2024-01-01 Giovanni Brignone , Mihai T. Lazarescu , Luciano Lavagno

Exploring sparse reward multi-agent reinforcement learning (MARL) environments with traps in a collaborative manner is a complex task. Agents typically fail to reach the goal state and fall into traps, which affects the overall performance…

Artificial Intelligence · Computer Science 2023-06-16 Xuechen Mu , Hankz Hankui Zhuo , Chen Chen , Kai Zhang , Chao Yu , Jianye Hao

Collaborative deep reinforcement learning (CDRL) algorithms in which multiple agents can coordinate over a wireless network is a promising approach to enable future intelligent and autonomous systems that rely on real-time decision-making…

Information Theory · Computer Science 2022-03-07 Fatemeh Lotfi , Omid Semiari , Walid Saad

The paper proposes the ScatterNet Hybrid Deep Learning (SHDL) network that extracts invariant and discriminative image representations for object recognition. SHDL framework is constructed with a multi-layer ScatterNet front-end, an…

Computer Vision and Pattern Recognition · Computer Science 2017-08-31 Amarjot Singh , Nick Kingsbury

The robotic systems continuously interact with complex dynamical systems in the physical world. Reliable predictions of spatiotemporal evolution of these dynamical systems, with limited knowledge of system dynamics, are crucial for…

Artificial Intelligence · Computer Science 2019-01-08 Yun Long , Xueyuan She , Saibal Mukhopadhyay

Deep hedging represents a cutting-edge approach to risk management for financial derivatives by leveraging the power of deep learning. However, existing methods often face challenges related to computational inefficiency, sensitivity to…

Machine Learning · Computer Science 2025-02-26 Lei Zhao , Lin Cai

The Single Program Multiple Data (SPMD) paradigm provides a unified abstraction to annotate various parallel dimensions in distributed deep learning (DL) training. With SPMD, users can write training programs from the viewpoint of a single…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-30 Haoyang Li , Fangcheng Fu , Hao Ge , Sheng Lin , Xuanyu Wang , Jiawen Niu , Xupeng Miao , Bin Cui

We address the problem of maintaining resource availability in a networked multi-robot team performing distributed tracking of unknown number of targets in an environment of interest. Based on our model, robots are equipped with sensing and…

Robotics · Computer Science 2020-04-16 Ragesh K. Ramachandran , Nicole Fronda , Gaurav S. Sukhatme

This paper proposes a momentum-constrained hybrid heuristic trajectory optimization framework (MHHTOF) tailored for assistive navigation in visually impaired scenarios, integrating trajectory sampling generation, optimization and evaluation…

Robotics · Computer Science 2025-12-08 Yuting Zeng , Zhiwen Zheng , You Zhou , JiaLing Xiao , Yongbin Yu , Manping Fan , Bo Gong , Liyong Ren

Software-defined networking (SDN) can enable diverse network management applications such as traffic engineering, service chaining, network function outsourcing, and topology reconfiguration. Realizing the benefits of SDN for these…

Networking and Internet Architecture · Computer Science 2015-04-30 Victor Heorhiadi , Michael K. Reiter , Vyas Sekar

A large-scale dynamic network (LDN) is a source of data in many big data-related applications due to their large number of entities and large-scale dynamic interactions. They can be modeled as a high-dimensional incomplete (HDI) tensor that…

Machine Learning · Computer Science 2023-05-05 Aoling Zeng
‹ Prev 1 4 5 6 7 8 10 Next ›