Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

How to Identify Boundary Conditions with Contrasty Metric?

[BibT_eX]

[DOI]

Weilin Luo

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

DRLS: A Deep Reinforcement Learning Based Scheduler for Time-Triggered Ethernet.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Computer Communications and Networks, 2021

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

A Boolean Network Tomography based Method for Deterministic Multi-point Fault Detection.

[BibT_eX]

[DOI]

Sukun Zhang

Hai Wan

Xibin Zhao

Proceedings of the IEEE Global Communications Conference, 2021

TTDeep: Time-Triggered Scheduling for Real-Time Ethernet via Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2021

View-Guided Point Cloud Completion.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Enhancing Metaphor Detection by Gloss-based Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

A DQN-based Approach to Finding Precise Evidences for Fact Verification.

[BibT_eX]

[DOI]

Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2020

A Flattened-Priority Framework for Mixed-Criticality Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2020

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Editorial of special issue on time-sensitive networking.

[BibT_eX]

[DOI]

CCF Trans. Netw., 2020

A resource-efficient priority scheduler for time-sensitive networking switches.

[BibT_eX]

[DOI]

CCF Trans. Netw., 2020

Query Answering for Existential Rules via Efficient Datalog Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Speeding up Very Fast Decision Tree with Low Computational Cost.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Hypergraph Label Propagation Network.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Refining HTN Methods via Task Insertion with Preferences.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Query Answering with Guarded Existential Rules under Stable Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2019

Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2019

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2019

Representation Learning for Classical Planning from Partially Observed Traces.

[BibT_eX]

[DOI]

CoRR, 2019

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae.

[BibT_eX]

[DOI]

CoRR, 2019

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.

[BibT_eX]

[DOI]

CoRR, 2019

Dynamically Optimizing End-to-End Latency for Time-Triggered Networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking for Emerging Applications and Technologies, 2019

Iterative Visual Relationship Detection via Commonsense Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 9th Joint International Conference, 2019

Dynamically Route Hierarchical Structure Representation to Attentive Capsule for Text Classification.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Design and Implementation of Distributed Time-Triggered System Based on RT-Thread.

[BibT_eX]

[DOI]

Proceedings of the ICIT 2019, 2019

Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems.

[BibT_eX]

[DOI]

Comput. Networks, 2018

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Adversarial Attribute-Image Person Re-identification.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Representation Learning for Scene Graph Completion via Jointly Structural and Visual Embedding.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

An Offline Equivalence Scheduling Technique for Time-Triggered Ethernet.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Communications and Broadband Networking, 2018

Hypergraph Learning With Cost Interval Optimization.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Representative band selection for hyperspectral image classification.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 2017

Enhancing Knowledge Graph Embedding from a Logical Perspective.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE/ACM International Symposium on Quality of Service, 2017

Hierarchical Task Network Planning with Task Insertion and State Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Practical TBox Abduction Based on Justification Patterns.

[BibT_eX]

[DOI]

Jianfeng Du

Hai Wan

Huaguan Ma

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Query Answering with Inconsistent Existential Rules under Stable Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A Complete Epistemic Planner without the Epistemic Closed World Assumption.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Simplifying A Logic Program Using Its Consequences.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Aligning Knowledge and Text Embeddings by Entity Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

On Elementary Loops and Proper Loops for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Jianmin Ji

Hai Wan

Peng Xiao

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Splitting a Logic Program Revisited.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Formal Proof of a Machine Closed Theorem in Coq.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Genetic adaptive A-Star approach for ttrain trip profile optimization problems.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Vehicles and Transportation Systems, 2014

Computing General First-Order Parallel and Prioritized Circumscription.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Elementary Loops Revisited.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

A Novel Two-Terminal Reliability Analysis for MANET.

[BibT_eX]

[DOI]

Xibin Zhao

Zhiyang You

Hai Wan

J. Appl. Math., 2013

Design and implementation of P2P reasoning system based on description logic.

[BibT_eX]

[DOI]

Hai Wan

Yang Yu

Jian-Tian Zheng

Int. J. Ad Hoc Ubiquitous Comput., 2013

Formal component-based modeling and synthesis for PLC systems.

[BibT_eX]

[DOI]

Comput. Ind., 2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Double-State Based Business Process Description Model and its Operational Semantics.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2012

τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

2011

A novel fault diagnosis mechanism for wireless sensor networks.

[BibT_eX]

[DOI]

Math. Comput. Model., 2011

Formalisation and verification of programmable logic controllers timers in Coq.

[BibT_eX]

[DOI]

IET Softw., 2011

Migrating Complex Business Process to Cloud Based on Mspoa and CBPM.

[BibT_eX]

[DOI]

Hai Wan

Yang Yu

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010

Parameterized Specification and Verification of PLC Systems in Coq.

[BibT_eX]

[DOI]

Hai Wan

Xiaoyu Song

Ming Gu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Refinement-Based Validation Method for Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

dl2asp: Implementing Default Logic via Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections.

[BibT_eX]

[DOI]

Hai Wan

Ming Gu

Xiaoyu Song

Math. Comput. Model., 2009

Formal Specification and Code Generation of Programable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Formalization and Verification of PLC Timers in Coq.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007

Requirement Specification Based on Action Model Learning.

[BibT_eX]

[DOI]

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007

An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

State-based Process Description Model in Chinese E-government Affair System.

[BibT_eX]

[DOI]

Yunxiang Zheng

Lei Li

Hai Wan

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Building Business Process Description and Reasoning Meta-model Mbp in A-Prolog.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

2005

E-business Software Architecture based on Temporal ECA Rules and Actions Conflicts Management.

[BibT_eX]

[DOI]

Hai Wan

Lei Li

Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment.

[BibT_eX]

[DOI]

Hai Wan

Lei Li

Proceedings of the Advanced Parallel Processing Technologies, 6th International Workshop, 2005

2004

Semantic Caching Services for Data Grids.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing, 2004

Hai Wan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...