Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems

by Hui Deng, Jinzhao Wu, Hongyan Tan
Published 2013-01-01

A Deductive Approach towards Reasoning about Algebraic Transition Systems

by Jun Fu, Jinzhao Wu, Hongyan Tan
Published 2015-01-01

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

by Shihan Yang, Hongyan Tan, Jinzhao Wu
Published 2014-01-01

Approximate Equivalence of the Hybrid Automata with Taylor Theory

by Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan
Published 2014-01-01

Using Sentence-Level Neural Network Models for Multiple-Choice Reading Comprehension Tasks

by Yuanlong Wang, Ru Li, Hu Zhang, Hongyan Tan, Qinghua Chai
Published 2018-01-01

Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka

by Jiantao Zhou, Chaoxin Sun, Weina Fu, Jing Liu, Lei Jia, Hongyan Tan
Published 2014-01-01

3D Reconstruction of Tree-Crown Based on the UAV Aerial Images

by Chao Xu, Zeping Lu, Guangquan Xu, Zhiyong Feng, Hongyan Tan, Haifeng Zhang
Published 2015-01-01

Optimal Spatial Matrix Filter Design for Array Signal Preprocessing

by Haiyong Zhang, Dong Han, Kai Ji, Zhong Ren, Chi Xu, Lijuan Zhu, Hongyan Tan
Published 2014-01-01