Search

Search Results

• Speeding Up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty

  Luke Hunsberger, Roberto Posenato

  9776-9785

  2022-06-28

• The Complexity of Temporal Vertex Cover in Small-Degree Graphs

  Thekla Hamm, Nina Klobas, George B. Mertzios, Paul G. Spirakis

  10193-10201

  2022-06-28

• GaraMoSt: Parallel Multi-Granularity Motion and Structural Modeling for Efficient Multi-Frame Interpolation in DSA Images

  Ziyang Xu, Huangxuan Zhao, Wenyu Liu, Xinggang Wang

  28530-28538

  2025-04-11

• Spatio-Temporal Self-Supervised Learning for Traffic Flow Prediction

  Jiahao Ji, Jingyuan Wang, Chao Huang, Junjie Wu, Boren Xu, Zhenhe Wu, Junbo Zhang, Yu Zheng

  4356-4364

  2023-06-26

• Logic and Commonsense-Guided Temporal Knowledge Graph Completion

  Guanglin Niu, Bo Li

  4569-4577

  2023-06-26

• Fully-Dynamic Decision Trees

  Marco Bressan, Gabriel Damay, Mauro Sozio

  6842-6849

  2023-06-26

• Provably Efficient Primal-Dual Reinforcement Learning for CMDPs with Non-stationary Objectives and Constraints

  Yuhao Ding, Javad Lavaei

  7396-7404

  2023-06-26

• Networked Anti-coordination Games Meet Graphical Dynamical Systems: Equilibria and Convergence

  Zirou Qiu, Chen Chen, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns, Anil Vullikanti

  11663-11671

  2023-06-26

• EMSContExt: EMS Protocol-Driven Concept Extraction for Cognitive Assistance in Emergency Response

  Sarah Masud Preum, Sile Shu, Homa Alemzadeh, John A. Stankovic

  13350-13355

  2020-04-03

• Lifted Inference with Linear Order Axiom

  Jan Tóth, Ondřej Kuželka

  12295-12304

  2023-06-26

• Spatio-Temporal Graph Neural Point Process for Traffic Congestion Event Prediction

  Guangyin Jin, Lingbo Liu, Fuxian Li, Jincai Huang

  14268-14276

  2023-06-26

• An Efficient Evolutionary Algorithm for Subset Selection with General Cost Constraints

  Chao Bian, Chao Feng, Chao Qian, Yang Yu

  3267-3274

  2020-04-03

• Efficiently Computing Compact Formal Explanations

  Min Wu, Xiaofu Li, Haoze Wu, Clark Barrett

  35857-35866

  2026-03-14

• Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification

  Konstantin Kaulen, Matthias König, Holger H. Hoos

  27356-27364

  2025-04-11

• Causal Structure Learning for Dynamical Systems with Theoretical Score Analysis

  Nicholas Tagliapietra, Katharina Ensinger, Christoph Zimmer, Osman Mian

  36740-36748

  2026-03-14

• Efficient Conditional Diffusion Model with Probability Flow Sampling for Image Super-resolution

  Yutao Yuan, Chun Yuan

  6862-6870

  2024-03-24

• HGE: Embedding Temporal Knowledge Graphs in a Product Space of Heterogeneous Geometric Subspaces

  Jiaxin Pan, Mojtaba Nayyeri, Yinan Li, Steffen Staab

  8913-8920

  2024-03-24

• Likelihood Ratios and Generative Classifiers for Unsupervised Out-of-Domain Detection in Task Oriented Dialog

  Varun Gangal, Abhinav Arora, Arash Einolghozati, Sonal Gupta

  7764-7771

  2020-04-03

• Streaming Generated Gaussian Process Experts for Online Learning and Control

  Zewen Yang, Dongfa Zhang, Xiaobing Dai, Fengyi Yu, Chi Zhang, Bingkun Huang, Hamid Sadeghian, Sami Haddadin

  27719-27727

  2026-03-14

• FVNet: Harnessing Liquid Neural Dynamics for Lightweight Visual Representation

  Zhenzhe Hou, Xiaohui Chu, Runze Hu, Yang Li, Yutao Liu

  4789-4797

  2026-03-14

• GMAN: A Graph Multi-Attention Network for Traffic Prediction

  Chuanpan Zheng, Xiaoliang Fan, Cheng Wang, Jianzhong Qi

  1234-1241

  2020-04-03

• Knowledge Tagging with Large Language Model Based Multi-Agent System

  Hang Li, Tianlong Xu, Ethan Chang, Qingsong Wen

  28775-28782

  2025-04-11

• Leveraging Web Semantic Knowledge in Word Representation Learning

  Haoyan Liu, Lei Fang, Jian-Guang Lou, Zhoujun Li

  6746-6753

  2019-07-17

• Decision-Making Context Interaction Network for Click-Through Rate Prediction

  Xiang Li, Shuwei Chen, Jian Dong, Jin Zhang, Yongkang Wang, Xingxing Wang, Dong Wang

  5195-5202

  2023-06-26

• Fine-Grained Position Helps Memorizing More, a Novel Music Compound Transformer Model with Feature Interaction Fusion

  Zuchao Li, Ruhan Gong, Yineng Chen, Kehua Su

  5203-5212

  2023-06-26