中文
相关论文

相关论文: Instrumenting an SMT Solver to Solve Hybrid Networ…

200 篇论文

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…

机器学习 · 计算机科学 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…

最优化与控制 · 数学 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…

图像与视频处理 · 电气工程与系统科学 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…

网络与互联网体系结构 · 计算机科学 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…

信号处理 · 电气工程与系统科学 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…

人工智能 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

硬件体系结构 · 计算机科学 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…

人工智能 · 计算机科学 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…

信息论 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

人工智能 · 计算机科学 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…

机器学习 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

机器学习 · 计算机科学 2023-05-05 Aoling Zeng