From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

The study of urban rainstorm waterlogging scenario simulation based on GIS and SWMM model - Take the example of Kunming Dongfeng East Road catchment area., , , , и . Geoinformatics, стр. 1-5. IEEE, (2013)Adaptive Neural Control of MIMO Nonstrict-Feedback Nonlinear Systems With Time Delay., , , и . IEEE Trans. Cybern., 46 (6): 1337-1349 (2016)Word Level Model Checking (Abstract)., и . MFCS, том 1113 из Lecture Notes in Computer Science, стр. 1. Springer, (1996)Analytica - A Theorem Prover in Mathematica., и . CADE, том 607 из Lecture Notes in Computer Science, стр. 761-765. Springer, (1992)Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , и . DAC, стр. 54-60. ACM Press, (1993)Coverage Estimation for Symbolic Model Checking., , , и . DAC, стр. 300-305. ACM Press, (1999)Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking., , , и . DAC, стр. 427-432. ACM Press, (1995)Detecting Digital Image Splicing in Chroma Spaces., , , и . IWDW, том 6526 из Lecture Notes in Computer Science, стр. 12-22. Springer, (2010)Image splicing detection based on noncausal Markov model., , , , и . ICIP, стр. 4462-4466. IEEE, (2013)Background Subtraction Based on Perception-Contained Piecewise Memorizing Framework., , и . Comput. Informatics, 37 (4): 865-893 (2018)