Xiao Jun Chen

According to our database1, Xiao Jun Chen authored at least 14 papers between 1996 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A cloud computing architecture for characterization and classification of moving object.
Multim. Tools Appl., 2017

Improved combined invariant moment for moving targets classification.
Multim. Tools Appl., 2017

2016
Complex video event detection via pairwise fusion of trajectory and multi-label hypergraphs.
Multim. Tools Appl., 2016

Complex Event Detection in Video Streams.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Hypergraph Partitioning for Video Event Detection.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

2015
Fast Processing of Conversion Time Data Flow in Cloud Computing via Weighted FP-Tree Mining Algorithms.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

2002
Construction of Deadlock-free Designs of Communication Protocols from Observation.
Comput. J., 2002

2001
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.
Theor. Comput. Sci., 2001

2000
Deriving use cases for distributed systems from knowledge requirements.
Ann. des Télécommunications, 2000

1999
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
Artif. Intell., 1999

1997
On the Specification and Verification of Performance Properties for a Timed Process Algebra.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Model Checking ACTL Constrained Processes.
Proceedings of the Frontiers of Combining Systems, 1996

A Study on the Specification and Verification of Performance Properties (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996


  Loading...