Xi Wu

According to our database1, Xi Wu
  • authored at least 21 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Modeling and Verifying HDFS Using Process Algebra.
MONET, 2017

A Semi-supervised manifold alignment algorithm and an evaluation method based on local structure preservation.
Neurocomputing, 2017

A semi-supervised locally linear embedding spectral clustering algorithm.
IJAMC, 2017

A Fault-tolerant Filter for Robust GNSS Positioning Using a GM-Estimation Approach.
Ad Hoc & Sensor Wireless Networks, 2017

Formalization and Verification of the PKMv3 Protocol Using CSP.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Proof System for mCWQ.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Capabilities for Java: Secure Access to Resources.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

Research on quantitative quality evaluation method based on double cycles.
Proceedings of the ACM Turing 50th Celebration Conference, 2017

2016
Projecting Distortion Calibration and Evaluation of Coding Fringes in Structured Light System.
Proceedings of the Social Computing, 2016

Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Comparative Modeling and Verification of Pthreads and Dthreads.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Modeling and Verifying HDFS Using CSP.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A multi-point local search algorithm for continuous dynamic optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2016

Super Resolution Reconstruction of Brain MR Image Based on Convolution Sparse Network.
Proceedings of the 7th International Conference on Cloud Computing and Big Data, 2016

2015
Formal Verification of PKMv3 Protocol Using DT-Spin.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Probabilistic Analysis of a Calculus for Wireless Sensor Networks.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2013
Gait measurement and quantitative analysis in patients with Parkinson's disease for rehabilitation assessment.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2013

2008
Real Time Multi-step Prediction for Shipborne Helicopter Platform Motion.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

2007
Classification of all finite-dimensional nonlinear filters from Lie algebraic point of view: State dimension 2.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Classification of Estimation Algebras with State Dimension 2.
SIAM J. Control and Optimization, 2006

2004
Segmentation and Parametrization of Arbitrary Polygon Meshes.
Proceedings of the 2004 Geometric Modeling and Processing (GMP 2004), 2004


  Loading...