Login / Signup
Weiru Zeng
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 3
Top Topics
Kalman Filter
Anomaly Detection
One Class Support Vector Machines
Formal Models
Top Venues
ICDM Workshops
CSAE
Neurocomputing
</>
Publications
</>
Zheng Yang
,
Hang Lei
,
Weizhong Qian
,
Zehui Yan
,
Weiru Zeng
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.
CSAE
(2020)
Jia Wu
,
Weiru Zeng
,
Fei Yan
Hierarchical Temporal Memory method for time-series-based anomaly detection.
Neurocomputing
273 (2018)
Jia Wu
,
Weiru Zeng
,
Zhe Chen
,
Xue-Fei Tang
Hierarchical Temporal Memory Method for Time-Series-Based Anomaly Detection.
ICDM Workshops
(2016)