English
Related papers

Related papers: Checking Dynamic Consistency of Conditional Hyper …

200 papers

Temporal graph neural networks (TGNNs) have gained significant traction for solving real-world temporal graph tasks. However, their interpretability remains limited, as most TGNNs fail to identify which historical interactions most…

Machine Learning · Computer Science 2026-05-20 Hongjiang Chen , Xin Zheng , Pengfei Jiao , Huan Liu , Zhidong Zhao , Huaming Wu , Feng Xia , Shirui Pan

The Simple Temporal Problem (STP) is a fundamental temporal reasoning problem and has recently been extended to the Multiagent Simple Temporal Problem (MaSTP). In this paper we present a novel approach that is based on enforcing…

Multiagent Systems · Computer Science 2017-11-23 Shufeng Kong , Jae Hee Lee , Sanjiang Li

In this paper, we study the possibility of designing non-trivial random CSP models by exploiting the intrinsic connection between structures and typical-case hardness. We show that constraint consistency, a notion that has been developed to…

Artificial Intelligence · Computer Science 2011-10-12 J. Culberson , Y. Gao

Scheduling in the presence of uncertainty is an area of interest in artificial intelligence due to the large number of applications. We study the problem of dynamic controllability (DC) of disjunctive temporal networks with uncertainty…

Artificial Intelligence · Computer Science 2021-08-03 Kevin Osanlou , Jeremy Frank , J. Benton , Andrei Bursuc , Christophe Guettier , Eric Jacopin , Tristan Cazenave

This paper describes a novel text-to-speech (TTS) technique based on deep convolutional neural networks (CNN), without use of any recurrent units. Recurrent neural networks (RNN) have become a standard technique to model sequential data…

Sound · Computer Science 2020-10-01 Hideyuki Tachibana , Katsuya Uenoyama , Shunsuke Aihara

Graph neural networks (GNNs) have been broadly studied on dynamic graphs for their representation learning, majority of which focus on graphs with homogeneous structures in the spatial domain. However, many real-world graphs - i.e.,…

Machine Learning · Computer Science 2021-10-27 Yujie Fan , Mingxuan Ju , Chuxu Zhang , Liang Zhao , Yanfang Ye

Industrial Control Systems (ICS) underpin critical infrastructure and face growing cyber-physical threats due to the convergence of operational technology and networked environments. While machine learning-based anomaly detection approaches…

Machine Learning · Computer Science 2026-03-12 Kosti Koistinen , Kirsi Hellsten , Joni Herttuainen , Kimmo K. Kaski

Stochastic cyber-physical systems (CPS) permeate critical infrastructure, from autonomous vehicles to medical devices. Yet, tools for runtime verification of such systems capturing the probabilistic dynamics in stochastic systems remain…

Logic in Computer Science · Computer Science 2026-05-22 Paapa Kwesi Quansah , Ernest Bonnah

Efficient cooling is vital for the performance and reliability of modern systems such as electronics, nuclear reactors, and industrial equipment. Jet impingement cooling is widely used for its high local heat transfer rates. Accurate…

Fluid Dynamics · Physics 2025-07-15 Arijit Hazra , Prahar Sarkar , Sourav Sarkar

In the remote sensing community, multimodal change detection (MCD) is particularly critical due to its ability to track changes across different imaging conditions and sensor types, making it highly applicable to a wide range of real-world…

Image and Video Processing · Electrical Eng. & Systems 2024-10-23 Tao Zhan , Yuanyuan Zhu , Jie Lan , Qianlong Dang

In this study, we dive deep into the inconsistency of pseudo targets in semi-supervised object detection (SSOD). Our core observation is that the oscillating pseudo-targets undermine the training of an accurate detector. It injects noise…

Computer Vision and Pattern Recognition · Computer Science 2023-03-29 Xinjiang Wang , Xingyi Yang , Shilong Zhang , Yijiang Li , Litong Feng , Shijie Fang , Chengqi Lyu , Kai Chen , Wayne Zhang

Delay- and Disruption-tolerant Networking (DTN) is essential for communication in challenging environments with intermittent connectivity, long delays, and disruptions. Ensuring high performance in these types of networks is crucial because…

Networking and Internet Architecture · Computer Science 2025-01-20 Tobias Nöthlich , Felix Walter

Recognizing instances at different scales simultaneously is a fundamental challenge in visual detection problems. While spatial multi-scale modeling has been well studied in object detection, how to effectively apply a multi-scale…

Computer Vision and Pattern Recognition · Computer Science 2019-02-19 Da Zhang , Xiyang Dai , Yuan-Fang Wang

Multi-Task Learning (MTL) networks have emerged as a promising method for transferring learned knowledge across different tasks. However, MTL must deal with challenges such as: overfitting to low resource tasks, catastrophic forgetting, and…

Machine Learning · Computer Science 2022-04-22 Jonathan Pilault , Amine Elhattami , Christopher Pal

Networks are used as highly expressive tools in different disciplines. In recent years, the analysis and mining of temporal networks have attracted substantial attention. Frequent pattern mining is considered an essential task in the…

Social and Information Networks · Computer Science 2021-05-14 Ali Jazayeri , Christopher C. Yang

The absence of an algorithm that effectively monitors deep learning models used in side-channel attacks increases the difficulty of evaluation. If the attack is unsuccessful, the question is if we are dealing with a resistant implementation…

Cryptography and Security · Computer Science 2021-11-30 Servio Paguada , Lejla Batina , Ileana Buhan , Igor Armendariz

Video analysis is a major computer vision task that has received a lot of attention in recent years. The current state-of-the-art performance for video analysis is achieved with Deep Neural Networks (DNNs) that have high computational costs…

Computer Vision and Pattern Recognition · Computer Science 2023-09-25 Mireille El-Assal , Pierre Tirilly , Ioan Marius Bilasco

In this paper, we consider contention resolution algorithms that are augmented with predictions about the network. We begin by studying the natural setup in which the algorithm is provided a distribution defined over the possible network…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-27 Seth Gilbert , Calvin Newport , Nitin Vaidya , Alex Weaver

The Click-though Rate (CTR) prediction task is a basic task in recommendation system. Most of the previous researches of CTR models built based on Wide \& deep structure and gradually evolved into parallel structures with different modules.…

Machine Learning · Computer Science 2022-06-22 Ri Su , Alphonse Houssou Hounye , Cong Cao , Muzhou Hou

In cognitive radio networks (CRNs), establishing a communication link between a pair of secondary users (SUs) requires them to rendezvous on a common channel which is not occupied by primary users (PUs). Under time-varying PU traffic,…

Information Theory · Computer Science 2016-04-18 Yijin Zhang , Yuan-Hsun Lo , Wing Shing Wong