Weiru Zeng

According to our database, Weiru Zeng authored at least 3 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.

Zheng Yang, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng

Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

2018

Hierarchical Temporal Memory method for time-series-based anomaly detection.

Jia Wu, Weiru Zeng, Fei Yan

Neurocomputing, 2018

2016

Hierarchical Temporal Memory Method for Time-Series-Based Anomaly Detection.

Jia Wu, Weiru Zeng, Zhe Chen, Xue-Fei Tang

Proceedings of the IEEE International Conference on Data Mining Workshops, 2016