English
Related papers

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

200 papers

Multimodal image registration is a fundamental task and a prerequisite for downstream cross-modal analysis. Despite recent progress in shared feature extraction and multi-scale architectures, two key limitations remain. First, some methods…

Computer Vision and Pattern Recognition · Computer Science 2026-03-23 Chunlei Zhang , Jiahao Xia , Yun Xiao , Bo Jiang , Jian Zhang

In this paper, to analyze end-to-end timing behavior in heterogeneous processor and network environments accurately, we adopt a heterogeneous selection value on communication contention (HSV_CC) algorithm, which can synchronize tasks and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-09-12 Jaeyong Rho , Takuya Azumi , Mayo Nakagawa , Kenya Sato , Nobuhiko Nishio

Data-driven learning is rapidly evolving and places a new perspective on realizing state-space dynamical systems. However, dynamical systems derived from nonlinear ordinary differential equations (ODEs) suffer from limitations in…

Machine Learning · Computer Science 2025-07-29 Hansaka Aluvihare , Levi Lingsch , Xianqi Li , Sirani M. Perera

Adaptive causal representation learning from observational data is presented, integrated with an efficient sample splitting technique within the semiparametric estimating equation framework. The support points sample splitting (SPSS), a…

Machine Learning · Statistics 2024-11-25 Lynda Aouar , Han Yu

The feasibility of deep neural networks (DNNs) to address data stream problems still requires intensive study because of the static and offline nature of conventional deep learning approaches. A deep continual learning algorithm, namely…

Machine Learning · Computer Science 2020-01-10 Andri Ashfahani , Mahardhika Pratama

Without the need of a clean reference, non-intrusive speech assessment methods have caught great attention for objective evaluations. Recently, deep neural network (DNN) models have been applied to build non-intrusive speech assessment…

Audio and Speech Processing · Electrical Eng. & Systems 2021-11-11 Hsin-Tien Chiang , Yi-Chiao Wu , Cheng Yu , Tomoki Toda , Hsin-Min Wang , Yih-Chun Hu , Yu Tsao

We propose a novel unsupervised cross-modal homography estimation learning framework, named Split Supervised Homography estimation Network (SSHNet). SSHNet reformulates the unsupervised cross-modal homography estimation into two supervised…

Computer Vision and Pattern Recognition · Computer Science 2025-04-29 Junchen Yu , Si-Yuan Cao , Runmin Zhang , Chenghao Zhang , Zhu Yu , Shujie Chen , Bailin Yang , Hui-liang Shen

A novel hybrid deep neural network architecture is designed to capture the spatial-temporal features of unsteady flows around moving boundaries directly from high-dimensional unsteady flow fields data. The hybrid deep neural network is…

Computational Physics · Physics 2020-06-02 Renkun Han , Zhong Zhang , Yixing Wang , Ziyang Liu , Yang Zhang , Gang Chen

Large Language Models (LLMs) have advanced the field of Combinatorial Optimization through automated heuristic generation. Instead of relying on manual design, this LLM-Driven Heuristic Design (LHD) process leverages LLMs to iteratively…

Machine Learning · Computer Science 2026-04-17 Rongzheng Wang , Yihong Huang , Muquan Li , Jiakai Li , Di Liang , Bob Simons , Pei Ke , Shuang Liang , Ke Qin

The highly dynamic nature of the current network traffics, makes the network managers to exploit the flexibility of the state-of-the-art paradigm called SDN. In this way, there has been an increasing interest in hybrid networks of SDN-MPLS.…

Networking and Internet Architecture · Computer Science 2018-04-02 Mohammad Mahdi Tajiki , Behzad Akbari , Nader Mokari , Luca Chiaraviglio

In many real-world planning problems with factored, mixed discrete and continuous state and action spaces such as Reservoir Control, Heating Ventilation, and Air Conditioning, and Navigation domains, it is difficult to obtain a model of the…

Artificial Intelligence · Computer Science 2020-07-16 Ga Wu , Buser Say , Scott Sanner

Machine learning frameworks for physical problems must capture and enforce physical constraints that preserve the structure of dynamical systems. Many existing approaches achieve this by integrating physical operators into neural networks.…

The deployment of large language models' (LLMs) inference at the edge can facilitate prompt service responsiveness while protecting user privacy. However, it is critically challenged by the resource constraints of a single edge node.…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-21 Peirong Zheng , Wenchao Xu , Haozhao Wang , Jinyu Chen , Xuemin Shen

Efficient vector search is essential for powering large-scale AI applications, such as LLMs. Existing solutions are designed for monolithic architectures where compute and memory are tightly coupled. Recently, disaggregated architecture…

Databases · Computer Science 2026-03-17 Fei Fang , Yi Liu , Chen Qian

Due to the highly dynamic changes in wireless network topologies, efficiently obtaining network status information and flexibly forwarding data to improve communication quality of service are important challenges. This article introduces an…

Networking and Internet Architecture · Computer Science 2023-05-19 Jinqiang Li , Miao Ye , Linqiang Huang , Xiaofang Deng , Hongbing Qiu , Yong Wang

This paper considers distributed optimization algorithms, with application in binary classification via distributed support-vector-machines (D-SVM) over multi-agent networks subject to some link nonlinearities. The agents solve a…

Systems and Control · Electrical Eng. & Systems 2023-04-14 Mohammadreza Doostmohammadian , Alireza Aghasi , Houman Zarrabi

Parameterized Sequential Decision Making (Para-SDM) framework models a wide array of network design applications spanning supply-chain, transportation, and sensor networks. These problems entail sequential multi-stage optimization…

Systems and Control · Electrical Eng. & Systems 2025-04-04 Dhananjay Tiwari , Salar Basiri , Srinivasa Salapaka

The task of subgroup discovery (SD) is to find interpretable descriptions of subsets of a dataset that stand out with respect to a target attribute. To address the problem of mining large numbers of redundant subgroups, subgroup set…

Machine Learning · Computer Science 2021-03-16 Hugo M. Proença , Peter Grünwald , Thomas Bäck , Matthijs van Leeuwen

Integration of renewable energy sources and emerging loads like electric vehicles to smart grids brings more uncertainty to the distribution system management. Demand Side Management (DSM) is one of the approaches to reduce the uncertainty.…

Machine Learning · Computer Science 2021-09-28 Elahe Khoshbakhti Vaygan , Roozbeh Rajabi , Abouzar Estebsari

In semi-supervised learning, methods that rely on confidence learning to generate pseudo-labels have been widely proposed. However, increasing research finds that when faced with noisy and biased data, the model's representation network is…

Computer Vision and Pattern Recognition · Computer Science 2024-04-29 Yanbiao Ma , Licheng Jiao , Fang Liu , Lingling Li , Shuyuan Yang , Xu Liu