A Formal Proof of the Rate Monotonic Scheduler - Shuzhen, Qiwen, Naijun (1999)(Correct)(1 citation)
natural languages. To increase the level of rigour, Zheng and Zhou [7] proposed to adopt mathematical logic
one given in [6]Together with previous work by Zheng and Zhou on using DC to prove Liu and Layland's
Realtime Systems. Prentice Hall, 1997. 7] Zheng Yuhua and Zhou Chaochen. A formal proof of the ftp.iist.unu.edu/pub/techreports/report174.ps.gz
Analysis of Shape from Shading Techniques - Ping-Sing (1994)(Correct)(21 citations)
was improved. Instead of the smoothness constraint, Zheng and Chellappa (Z&C) 24] introduced an intensity
to achieve convergence for our test images. 4.2 Zheng and Chellappa (Z&C) The implementation of Z&C's
Prof. Healey, Prof. Kuo, Prof. Woodham and Dr. Zheng for helpful discussions and/or providing images. www.cs.ucf.edu/~vision/papers/cvpr943.ps.gz
Structures of Cryptographic Functions with Strong.. - Seberry, Zhang, Zheng (1994)(Correct)(1 citation)
Jennifer Seberry, Xian-Mo Zhang and Yuliang Zheng Department of Computer Science University of
New York pp. 155-165 8. Seberry, J.Zhang, X. M.Zheng, Y.Nonlinearity and propagation
and Computation 1994 9. Seberry, J.Zhang, X. M.Zheng, Y.Relationships among nonlinearity criteria. pscit-www.fcit.monash.edu.au/~yuliang/pubs/asiac94.ps.Z
Relationships among Nonlinearity Criteria (Extended Abstract) - Seberry, Zhang, Zheng (1994)(Correct)
Jennifer Seberry, Xian-Mo Zhang and Yuliang Zheng Department of Computer Science, University of
1976. 19. J. Seberry, X. M. Zhang, and Y. Zheng. Nonlinearly balanced boolean functions and their
to appear. 20. J. Seberry, X. M. Zhang, and Y. Zheng. On constructions and nonlinearity of correlation pscit-www.fcit.monash.edu.au/~yuliang/pubs/euroc94b.ps.Z
The Schedulability of Deadline-Ordered Service Disciplines - Figueira, Pasquale(Correct)
deadline-ordered scheduling. In [15]Zheng and Shin showed necessary and sufficient
to the end time of the frame. Delay-EDD In [15]Zheng and Shin determined the necessary and sufficient
Vol. 9, No. 2, pp. 101-124, May 1991. 15] Q. Zheng and K. G. Shin, On the Ability of Establishing www-cse.ucsd.edu/users/pasquale/Papers/sched97.ps
Rapid Modeling of Animated Faces From Video - Liu, Zhang, Jacobs, Cohen (2000)(Correct)(8 citations)
Modeling of Animated Faces From Video Zicheng Liu, Zhengyou Zhang, Chuck Jacobs, Michael Cohen February
Modeling of Animated Faces From Video Zicheng Liu, Zhengyou Zhang, Chuck Jacobs, Michael Cohen February
set up so that their directions are orthogonal. Zheng [40] developed a system to construct geometrical www.research.microsoft.com/~zhang/Papers/TR00-11.pdf
Signcryption and Its Applications in Efficient Public Key Solutions - Zheng (1997)(Correct)(7 citations)
in Efficient Public Key Solutions Yuliang Zheng Monash University, McMahons Road, Frankston,
Theory IT-31 (1985) 469-472. 12. Gamage, C.Zheng, Y.Secure high speed networking with ABT and
SpringerVerlag pp. 185-193. 20. Matsuura, K.Zheng, Y.Imai, H.Analysis of and improvements on pscit-www.fcit.monash.edu.au/~yuliang/pubs/isw97sc.ps.Z
Bagging, Boosting, and C4.5 - Quinlan (1996)(Correct)
and counting operations (Murphy and Pazzani 1991 Zheng 1995)ffl Use of error-correcting codes when
Based on Empirical Data. New York: Springer-Verlag. Zheng, Z. 1995. Constructing nominal X-of-N www.cse.unsw.edu.au/~quinlan/q.aaai96.ps