According to our database1, Daoyun Xu authored at least 17 papers between 2002 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Exploiting context for people detection in crowded scenes.
J. Electronic Imaging, 2018
On-Line Load Balancing with Task Buffer.
Computing and Informatics, 2017
Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule.
Proceedings of the Theoretical Computer Science - 35th National Conference, 2017
A heuristic algorithm for solving the problem of load balancing.
Proceedings of the Seventh International Conference on Advanced Computational Intelligence, 2015
Piecewise Convex Technique for the Stability Analysis of Delayed Neural Network.
J. Applied Mathematics, 2013
Triple-integral method for the stability analysis of delayed neural networks.
Stable analysis for neural networks: Set-valued mapping method.
Applied Mathematics and Computation, 2013
Modeling of Potential Customers Identification Based on Correlation Analysis and Decision Tree.
Proceedings of the Advances in Neural Networks - ISNN 2011, 2011
Maximum Renamable Horn and Maximum Independent Sets.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009
Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k).
Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008
The Existence of Unsatisfiable Formulas in k-LCNF for k>=3.
Proceedings of the Theory and Applications of Models of Computation, 2007
A New Lower Bound of Critical Function for (k, s)-SAT.
Proceedings of the Theory and Applications of Models of Computation, 2006
Complexities of Homomorphism and Isomorphism for Definite Logic Programs.
J. Comput. Sci. Technol., 2005
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas.
Ann. Math. Artif. Intell., 2005
Characterization of an Auto-Compatible Default Theory.
J. Comput. Sci. Technol., 2003
FC-normal and extended stratified logic program.
Science in China Series F: Information Sciences, 2002