default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHai Wan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]Weilin Luo
, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao:
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213: 112036 (2024)- [j35]Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen:
How to Evaluate Semantic Communications for Images With ViTScore Metric? IEEE Trans. Cogn. Commun. Netw. 10(5): 1744-1758 (2024) - [j34]Changhua Chen, Tingzhen Yan, Chenxuan Shi, Hao Xi, Zhirui Fan, Hai Wan, Xibin Zhao:
The Last Mile of Attack Investigation: Audit Log Analysis Toward Software Vulnerability Location. IEEE Trans. Inf. Forensics Secur. 19: 9566-9581 (2024) - [j33]Qinliang Su, Bowen Tian, Hai Wan, Jian Yin:
Anomaly Detection Under Contaminated Data With Contamination-Immune Bidirectional GANs. IEEE Trans. Knowl. Data Eng. 36(11): 5605-5620 (2024) - [c92]Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng:
End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI 2024: 9071-9079 - [c91]Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Xibin Zhao, Hai Wan:
Revisiting Graph-Based Fraud Detection in Sight of Heterophily and Spectrum. AAAI 2024: 9214-9222 - [c90]Xingqiang Zhao, Hai Wan, Kunxun Qi:
QPEN: Quantum Projection and Quantum Entanglement Enhanced Network for Cross-Lingual Aspect-Based Sentiment Analysis. AAAI 2024: 19670-19678 - [c89]Kunxun Qi, Jianfeng Du, Hai Wan:
End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. ACL (1) 2024: 7247-7263 - [c88]Kunxun Qi, Jianfeng Du, Hai Wan:
Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. CIKM 2024: 1899-1908 - [c87]Wenxi Lv, Qinliang Su, Hai Wan, Hongteng Xu, Wenchao Xu:
Contamination-Resilient Anomaly Detection via Adversarial Learning on Partially-Observed Normal and Anomalous Data. ICML 2024 - [c86]Weilin Luo, Weiyuan Fang, Junming Qiu, Hai Wan, Yanan Liu, Rongzhen Ye:
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. NIER@ICSE 2024: 11-15 - [c85]Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou, Hai Wan, Xibin Zhao, Ping Luo, Hongyu Zhang:
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. ICSE 2024: 221:1-221:12 - [c84]Liangda Fang, Tong Zhu, Quanlong Guan, Junming Qiu, Zhao-Rong Lai, Weiqi Luo, Hai Wan:
On the Logic of Theory Change Iteration of KM-Update, Revised. IJCAI 2024: 3351-3359 - [c83]Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang:
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. ISSTA 2024: 996-1008 - [c82]Yuanlin Li, Zhiwei Xu, Min Zhou, Hai Wan, Xibin Zhao:
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network. ASE 2024: 2225-2229 - [c81]Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Dalin Zhang, Siyang Lu, Binyong Li, Wei Gong, Hai Wan, Xibin Zhao:
GLADformer: A Mixed Perspective for Graph-Level Anomaly Detection. ECML/PKDD (6) 2024: 337-353 - [c80]Junjie Chen, Qianfan Wang, Hai Wan, Xiao Ma:
A Communication-Efficient Federated Learning by Dynamic Quantization and Free-Ride Coding. WCNC 2024: 1-6 - [c79]Junjie Chen, Yinchu Wang, Qianfan Wang, Hai Wan, Xiao Ma:
Free-Ride Transmission of Semantic Features in Wireless Video Surveillance Systems. WCNC 2024: 1-6 - [i18]Fan Xu, Nan Wang, Hao Wu, Xuezhi Wen, Dalin Zhang, Siyang Lu, Binyong Li, Wei Gong, Hai Wan, Xibin Zhao:
GLADformer: A Mixed Perspective for Graph-level Anomaly Detection. CoRR abs/2406.00734 (2024) - [i17]Zhiyang Cheng, Zizhen Zhu, Haoran Dang, Hai Wan, Xibin Zhao:
LESS: Efficient Log Storage System Based on Learned Model and Minimum Attribute Tree. CoRR abs/2411.17091 (2024) - 2023
- [j32]Hai Wan, Xinwei Zhang, Yubo Zhang, Xibin Zhao, Shihui Ying, Yue Gao:
Structure Evolution on Manifold for Graph Learning. IEEE Trans. Pattern Anal. Mach. Intell. 45(6): 7751-7763 (2023) - [j31]Xingqiang Zhao, Hai Wan, Lv-Zhou Li:
How to verify identity in the continuous variable quantum system? Quantum Inf. Process. 22(5): 217 (2023) - [j30]Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang:
Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1676-1690 (2023) - [j29]Jiaxuan Lu, Hai Wan, Peiyan Li, Xibin Zhao, Nan Ma, Yue Gao:
Exploring High-Order Spatio-Temporal Correlations From Skeleton for Person Re-Identification. IEEE Trans. Image Process. 32: 949-963 (2023) - [j28]Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan:
Efficient Datalog Rewriting for Query Answering in TGD Ontologies. IEEE Trans. Knowl. Data Eng. 35(3): 2515-2528 (2023) - [c78]Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang:
A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI 2023: 4809-4817 - [c77]Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan:
ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI 2023: 581-586 - [c76]Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati:
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract). IJCAI 2023: 6915-6919 - [c75]Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen:
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE 2023: 1761-1765 - [c74]Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng:
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE 2023: 1766-1770 - [c73]Kunxun Qi, Jianfeng Du, Hai Wan:
Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. NeurIPS 2023 - [c72]Ruihua Wang, Yihao Peng, Yilun Sun, Xuancheng Zhang, Hai Wan, Xibin Zhao:
TeSec: Accurate Server-side Attack Investigation for Web Applications. SP 2023: 2799-2816 - [i16]Chao Yu, Xuejing Zheng, Hankz Hankui Zhuo, Hai Wan, Weilin Luo:
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey. CoRR abs/2304.12090 (2023) - [i15]Tingting Zhu, Bo Peng, Jifan Liang, Tingchen Han, Hai Wan, Jingqiao Fu, Junjie Chen:
How to Evaluate Semantic Communications for Images with ViTScore Metric? CoRR abs/2309.04891 (2023) - [i14]Zonghui Li, Wenlin Zhu, Kang G. Shin, Hai Wan, Xiaoyu Song, Dong Yang, Bo Ai:
A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. CoRR abs/2309.11902 (2023) - 2022
- [j27]Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati:
Gradient-based mixed planning with symbolic and numeric action parameters. Artif. Intell. 313: 103789 (2022) - [j26]Hang Zhao, Haicheng Chen, Leilai Li, Hai Wan:
Understanding social relationships with person-pair relations. Big Data Min. Anal. 5(2): 120-129 (2022) - [j25]Xinyuanmeng Yao, Hai Wan, Xiao Ma:
A type-aware coding approach for unequal message protection. Phys. Commun. 53: 101721 (2022) - [c71]Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang:
Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI 2022: 9849-9857 - [c70]Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang:
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI 2022: 10283-10290 - [c69]Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen:
Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL (1) 2022: 1910-1923 - [c68]Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang:
Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI 2022: 3292-3298 - [c67]Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su:
Checking LTL Satisfiability via End-to-end Learning. ASE 2022: 21:1-21:13 - [c66]Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao:
Grow and Merge: A Unified Framework for Continuous Categories Discovery. NeurIPS 2022 - [i13]Xingqiang Zhao, Hai Wan, Hao Chen, Li-Ling Su, Zi-Ling Huang, Lv-Zhou Li:
Application of Quantum Density Matrix in Classical Question Answering and Classical Image Classification. CoRR abs/2203.11155 (2022) - [i12]Xinwei Zhang, Jianwen Jiang, Yutong Feng, Zhi-Fan Wu, Xibin Zhao, Hai Wan, Mingqian Tang, Rong Jin, Yue Gao:
Grow and Merge: A Unified Framework for Continuous Categories Discovery. CoRR abs/2210.04174 (2022) - [i11]Kebing Jin, Zhanhao Xiao, Hankz Hankui Zhuo, Hai Wan, Jiaran Cai:
Learning Visual Planning Models from Partially Observed Images. CoRR abs/2211.15666 (2022) - [i10]Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang:
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. CoRR abs/2212.00373 (2022) - 2021
- [j24]Hai Wan, Biqing Fang, Yongmei Liu:
A general multi-agent epistemic planner based on higher-order belief change. Artif. Intell. 301: 103562 (2021) - [j23]Hai Wan, Jinrui Liang, Jianfeng Du, Yanan Liu, Jialing Ou, Baoyi Wang, Jeff Z. Pan, Juan Zeng:
Iterative Visual Relationship Detection via Commonsense Knowledge Graph. Big Data Res. 23: 100175 (2021) - [j22]Zaiyu Pang, Xiao Huang, Zonghui Li, Sukun Zhang, Yanfen Xu, Hai Wan, Xibin Zhao:
Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks. IEEE Trans. Ind. Informatics 17(3): 1668-1678 (2021) - [j21]Weilin Luo, Ou Wei, Hai Wan:
SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE Trans. Reliab. 70(2): 575-589 (2021) - [c65]Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan:
FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI 2021: 13916-13923 - [c64]Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye:
A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) 2021: 1030-1039 - [c63]Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang:
Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) 2021: 1971-1981 - [c62]Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao:
View-Guided Point Cloud Completion. CVPR 2021: 15890-15899 - [c61]Hongyu Jia, Yu Jiang, Chunmeng Zhong, Hai Wan, Xibin Zhao:
TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning. GLOBECOM 2021: 1-6 - [c60]Sukun Zhang, Hai Wan, Xibin Zhao:
A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection. GLOBECOM 2021: 1-6 - [c59]Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song:
An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. ICCAD 2021: 1-9 - [c58]Chunmeng Zhong, Hongyu Jia, Hai Wan, Xibin Zhao:
DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet. ICCCN 2021: 1-11 - [c57]Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen:
How to Identify Boundary Conditions with Contrasty Metric? ICSE 2021: 1473-1484 - [c56]Xiao Huang, Yu Jiang, Hao Fan, Huayun Tang, Yiping Wang, Jin Jin, Hai Wan, Xibin Zhao:
TATA: Throughput-Aware TAsk Placement in Heterogeneous Stream Processing with Deep Reinforcement Learning. ISPA/BDCloud/SocialCom/SustainCom 2021: 44-54 - [i9]Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang:
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. CoRR abs/2102.11482 (2021) - [i8]Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen:
How to Identify Boundary Conditions with Contrasty Metric? CoRR abs/2103.02384 (2021) - [i7]Xuancheng Zhang, Yutong Feng, Siqi Li, Changqing Zou, Hai Wan, Xibin Zhao, Yandong Guo, Yue Gao:
View-Guided Point Cloud Completion. CoRR abs/2104.05666 (2021) - [i6]Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati:
Gradient-Based Mixed Planning with Discrete and Continuous Actions. CoRR abs/2110.10007 (2021) - 2020
- [j20]Wei Peng, Yi Wang, Tao Huang, Hai Wan, David Dai, Jianping Wang:
Editorial of special issue on time-sensitive networking. CCF Trans. Netw. 3(1): 1-3 (2020) - [j19]Zonghui Li, Hai Wan, Yangdong Deng, Ke Xiong, Xiaoyu Song:
A resource-efficient priority scheduler for time-sensitive networking switches. CCF Trans. Netw. 3(1): 21-34 (2020) - [j18]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1): 185-198 (2020) - [j17]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7): 1386-1399 (2020) - [j16]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song:
A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67(11): 9862-9872 (2020) - [j15]Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu:
Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16(6): 3778-3788 (2020) - [c55]Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen:
Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI 2020: 2343-2350 - [c54]Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang:
Query Answering with Guarded Existential Rules under Stable Model Semantics. AAAI 2020: 3017-3024 - [c53]Yubo Zhang, Nan Wang, Yufeng Chen, Changqing Zou, Hai Wan, Xibin Zhao, Yue Gao:
Hypergraph Label Propagation Network. AAAI 2020: 6885-6892 - [c52]Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan:
Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI 2020: 9122-9129 - [c51]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016 - [c50]Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang:
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. APSEC 2020: 286-295 - [c49]Jian Sun, Hongyu Jia, Bo Hu, Xiao Huang, Hao Zhang, Hai Wan, Xibin Zhao:
Speeding up Very Fast Decision Tree with Low Computational Cost. IJCAI 2020: 1272-1278 - [c48]Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan:
Query Answering for Existential Rules via Efficient Datalog Rewriting. IJCAI 2020: 1933-1939
2010 – 2019
- 2019
- [j14]Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu:
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. 66(2): 1345-1355 (2019) - [j13]Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao:
Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Ind. Informatics 15(2): 1120-1130 (2019) - [j12]Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27(3): 1124-1137 (2019) - [c47]Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu:
Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. ICCAD 2019: 1-8 - [c46]Chunmeng Zhong, Haifeng Zhang, Yidong Yuan, Sukun Zhang, Hai Wan:
Design and Implementation of Distributed Time-Triggered System Based on RT-Thread. ICIT 2019: 472-476 - [c45]Wanshan Zheng, Zibin Zheng, Hai Wan, Chuan Chen:
Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification. IJCAI 2019: 5464-5470 - [c44]Hai Wan, Jialing Ou, Baoyi Wang, Jianfeng Du, Jeff Z. Pan, Juan Zeng:
Iterative Visual Relationship Detection via Commonsense Knowledge Graph. JIST 2019: 210-225 - [c43]Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu:
Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM 2019: 36-42 - [i5]Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li:
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR abs/1906.02578 (2019) - [i4]Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei:
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae. CoRR abs/1906.03085 (2019) - [i3]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Jinxia Lin, Yanan Liu:
Representation Learning for Classical Planning from Partially Observed Traces. CoRR abs/1907.08352 (2019) - [i2]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. CoRR abs/1911.12949 (2019) - 2018
- [j11]Heyuan Shi, Xibin Zhao, Hai Wan, Huihui Wang, Jian Dong, Kun Tang, Anfeng Liu:
Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems. Comput. Networks 141: 157-165 (2018) - [c42]Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai:
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. AAAI 2018: 1835-1844 - [c41]Xibin Zhao, Nan Wang, Heyuan Shi, Hai Wan, Jin Huang, Yue Gao:
Hypergraph Learning With Cost Interval Optimization. AAAI 2018: 4522-4529 - [c40]Shiqian Zhang, Zonghui Li, Ningchen Wang, Hai Wan, Xibin Zhao:
An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet. ICCBN 2018: 65-70 - [c39]Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu:
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. ICSE (Companion Volume) 2018: 327-328 - [c38]Hai Wan, Yonghao Luo, Bo Peng, Wei-Shi Zheng:
Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding. IJCAI 2018: 949-956 - [c37]Zhou Yin, Wei-Shi Zheng, Ancong Wu, Hong-Xing Yu, Hai Wan, Xiaowei Guo, Feiyue Huang, Jianhuang Lai:
Adversarial Attribute-Image Person Re-identification. IJCAI 2018: 1100-1106 - [c36]Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu:
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS 2018: 85-88 - 2017
- [j10]Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun:
Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48: 396-403 (2017) - [c35]Jianfeng Du, Hai Wan, Huaguan Ma:
Practical TBox Abduction Based on Justification Patterns. AAAI 2017: 1100-1106 - [c34]Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu:
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI 2017: 1093-1101 - [c33]Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun:
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI 2017: 2779-2785 - [c32]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469 - [c31]Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu:
Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. IWQoS 2017: 1-6 - [c30]Jianfeng Du, Kunxun Qi, Hai Wan, Bo Peng, Shengbin Lu, Yuming Shen:
Enhancing Knowledge Graph Embedding from a Logical Perspective. JIST 2017: 232-247 - 2016
- [c29]Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101 - [c28]Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lécué, Liang Chang:
Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. ECAI 2016: 1596-1597 - [c27]Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu:
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. IJCAI 2016: 1130-1137 - [c26]Xiaoheng Su, Hai Wan, Ruibin Chen, Qi Liu, Wenxuan Zhang, Jianfeng Du:
Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus. JIST 2016: 231-238 - [i1]Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR abs/1602.05699 (2016) - 2015
- [c25]Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:
Splitting a Logic Program Revisited. AAAI 2015: 1511-1517 - [c24]Jianmin Ji, Hai Wan, Peng Xiao:
On Elementary Loops and Proper Loops for Disjunctive Logic Programs. AAAI 2015: 1518-1524 - [c23]Huaping Zhong, Jianwen Zhang, Zhen Wang, Hai Wan, Zheng Chen:
Aligning Knowledge and Text Embeddings by Entity Descriptions. EMNLP 2015: 267-272