Search

Your search keyword '"Zhang, Lijun"' showing total 244 results
Start Over Author "Zhang, Lijun" Publisher springer international publishing

Refine your results

more »

more »

244 results on '"Zhang, Lijun"'

9. CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)

Author

Yu, Shizhen, Dong, Yifan, Liu, Jiuyang, Li, Yong, Wu, Zhilin, Jansen, David N., Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schlingloff, Bernd-Holger, editor, and Chai, Ming, editor

Published
2022
Full Text
View/download PDF

11. Adaptive Feature Generation for Online Continual Learning from Imbalanced Data

Author

Jian, Yingchun, Yi, Jinfeng, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gama, João, editor, Li, Tianrui, editor, Yu, Yang, editor, Chen, Enhong, editor, Zheng, Yu, editor, and Teng, Fei, editor

Published
2022
Full Text
View/download PDF

12. INGCF: An Improved Recommendation Algorithm Based on NGCF

Author

Sun, Weifeng, Chang, Kangkang, Zhang, Lijun, Meng, Kelong, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lai, Yongxuan, editor, Wang, Tian, editor, Jiang, Min, editor, Xu, Guangquan, editor, Liang, Wei, editor, and Castiglione, Aniello, editor

Published
2022
Full Text
View/download PDF

13. Verifying Pufferfish Privacy in Hidden Markov Models

Author

Liu, Depeng, Wang, Bow-Yaw, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Finkbeiner, Bernd, editor, and Wies, Thomas, editor

Published
2022
Full Text
View/download PDF

14. EPMC Gets Knowledge in Multi-agent Systems

Author

Fu, Chen, Hahn, Ernst Moritz, Li, Yong, Schewe, Sven, Sun, Meng, Turrini, Andrea, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Finkbeiner, Bernd, editor, and Wies, Thomas, editor

Published
2022
Full Text
View/download PDF

16. Detectability of Finite-State Automata

Author

Zhang, Kuize, Zhang, Lijun, Xie, Lihua, Isidori, Alberto, Series Editor, van Schuppen, Jan H., Series Editor, Sontag, Eduardo D., Series Editor, Krstic, Miroslav, Series Editor, Zhang, Kuize, Zhang, Lijun, and Xie, Lihua

Published
2020
Full Text
View/download PDF

18. Generalized Reversibility of Cellular Automata

Author

Zhang, Kuize, Zhang, Lijun, Xie, Lihua, Isidori, Alberto, Series Editor, van Schuppen, Jan H., Series Editor, Sontag, Eduardo D., Series Editor, Krstic, Miroslav, Series Editor, Zhang, Kuize, Zhang, Lijun, and Xie, Lihua

Published
2020
Full Text
View/download PDF

20. Detectability of Labeled Petri Nets

Author

Zhang, Kuize, Zhang, Lijun, Xie, Lihua, Isidori, Alberto, Series Editor, van Schuppen, Jan H., Series Editor, Sontag, Eduardo D., Series Editor, Krstic, Miroslav, Series Editor, Zhang, Kuize, Zhang, Lijun, and Xie, Lihua

Published
2020
Full Text
View/download PDF

21. Observability of Boolean Control Networks

Author

Zhang, Kuize, Zhang, Lijun, Xie, Lihua, Isidori, Alberto, Series Editor, van Schuppen, Jan H., Series Editor, Sontag, Eduardo D., Series Editor, Krstic, Miroslav, Series Editor, Zhang, Kuize, Zhang, Lijun, and Xie, Lihua

Published
2020
Full Text
View/download PDF

22. Detectability of Boolean Control Networks

Author

Zhang, Kuize, Zhang, Lijun, Xie, Lihua, Isidori, Alberto, Series Editor, van Schuppen, Jan H., Series Editor, Sontag, Eduardo D., Series Editor, Krstic, Miroslav, Series Editor, Zhang, Kuize, Zhang, Lijun, and Xie, Lihua

Published
2020
Full Text
View/download PDF

24. Preliminaries

Author

Zhang, Kuize, Zhang, Lijun, Xie, Lihua, Isidori, Alberto, Series Editor, van Schuppen, Jan H., Series Editor, Sontag, Eduardo D., Series Editor, Krstic, Miroslav, Series Editor, Zhang, Kuize, Zhang, Lijun, and Xie, Lihua

Published
2020
Full Text
View/download PDF

26. Congruence Relations for Büchi Automata

Author

Li, Yong, Tsay, Yih-Kuen, Turrini, Andrea, Vardi, Moshe Y., Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huisman, Marieke, editor, Păsăreanu, Corina, editor, and Zhan, Naijun, editor

Published
2021
Full Text
View/download PDF

27. Probabilistic Verification of Neural Networks Against Group Fairness

Author

Sun, Bing, Sun, Jun, Dai, Ting, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huisman, Marieke, editor, Păsăreanu, Corina, editor, and Zhan, Naijun, editor

Published
2021
Full Text
View/download PDF

28. Formal Verification of Consensus in the Taurus Distributed Database

Author

Gao, Song, Zhan, Bohua, Liu, Depeng, Sun, Xuechao, Zhi, Yanan, Jansen, David N., Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huisman, Marieke, editor, Păsăreanu, Corina, editor, and Zhan, Naijun, editor

Published
2021
Full Text
View/download PDF

29. A Novel Group Key Management Protocol Based on Secure Key Calculation Code

Author

Zhang, Lijun, Tan, Cheng, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Tavana, Madjid, editor, and Alhajj, Reda, editor

Published
2021
Full Text
View/download PDF

30. Needs Analysis of the AR Application in the Packaging Design of Ya’an Tibetan Tea

Author

He, Jie, Zhang, Lijun, Jiang, Xia, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, MacIntyre, John, editor, Zhao, Jinghua, editor, and Ma, Xiaomeng, editor

Published
2021
Full Text
View/download PDF

31. A Semi-structured Data Classification Model with Integrating Tag Sequence and Ngram

Author

Zhang, Lijun, Li, Ning, Pan, Wei, Li, Zhanhuai, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Jensen, Christian S., editor, Lim, Ee-Peng, editor, Yang, De-Nian, editor, Lee, Wang-Chien, editor, Tseng, Vincent S., editor, Kalogeraki, Vana, editor, Huang, Jen-Wei, editor, and Shen, Chih-Ya, editor

Published
2021
Full Text
View/download PDF

32. Improving Neural Network Verification through Spurious Region Guided Refinement

Author

Yang, Pengfei, Li, Renjue, Li, Jianlin, Huang, Cheng-Chao, Wang, Jingyi, Sun, Jun, Xue, Bai, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Groote, Jan Friso, editor, and Larsen, Kim Guldstrand, editor

Published
2021
Full Text
View/download PDF

39. License Plate Detection and Recognition Technology for Complex Real Scenarios

Author

Li, Zhipeng, Wang, Fei, Taleb, Hamdan, Yuan, Changan, Qin, Xiao, Wu, Hongjie, Zhao, Xingming, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huang, De-Shuang, editor, Bevilacqua, Vitoantonio, editor, and Hussain, Abir, editor

Published
2020
Full Text
View/download PDF

40. Random Occlusion Recovery with Noise Channel for Person Re-identification

Author

Zhang, Kun, Wu, Di, Yuan, Changan, Qin, Xiao, Wu, Hongjie, Zhao, Xingming, Zhang, Lijun, Du, Yuchuan, Wang, Hanli, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huang, De-Shuang, editor, Bevilacqua, Vitoantonio, editor, and Hussain, Abir, editor

Published
2020
Full Text
View/download PDF

41. Piecewise Hashing: A Deep Hashing Method for Large-Scale Fine-Grained Search

Author

Wang, Yimu, Wei, Xiu-Shen, Xue, Bo, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Peng, Yuxin, editor, Liu, Qingshan, editor, Lu, Huchuan, editor, Sun, Zhenan, editor, Liu, Chenglin, editor, Chen, Xilin, editor, Zha, Hongbin, editor, and Yang, Jian, editor

Published
2020
Full Text
View/download PDF

42. Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling

Author

Li, Yong, Turrini, Andrea, Sun, Xuechao, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hung, Dang Van, editor, and Sokolsky, Oleg, editor

Published
2020
Full Text
View/download PDF

44. DFQA: Deep Face Image Quality Assessment

Author

Yang, Fei, Shao, Xiaohu, Zhang, Lijun, Deng, Pingling, Zhou, Xiangdong, Shi, Yu, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Zhao, Yao, editor, Barnes, Nick, editor, Chen, Baoquan, editor, Westermann, Rüdiger, editor, Kong, Xiangwei, editor, and Lin, Chunyu, editor

Published
2019
Full Text
View/download PDF

45. Synthesizing Nested Ranking Functions for Loop Programs via SVM

Author

Li, Yi, Sun, Xuechao, Li, Yong, Turrini, Andrea, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ait-Ameur, Yamine, editor, and Qin, Shengchao, editor

Published
2019
Full Text
View/download PDF

46. An Axiomatisation of the Probabilistic -Calculus

Author

Xu, Junnan, Liu, Wanwei, Jansen, David N., Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ait-Ameur, Yamine, editor, and Qin, Shengchao, editor

Published
2019
Full Text
View/download PDF

47. Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Author

Li, Jianlin, Liu, Jiangchao, Yang, Pengfei, Chen, Liqian, Huang, Xiaowei, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Chang, Bor-Yuh Evan, editor

Published
2019
Full Text
View/download PDF

48. Plant Leaf Recognition Based on Conditional Generative Adversarial Nets

Author

Jiao, Zhihao, Zhang, Lijun, Yuan, Chang-An, Qin, Xiao, Shang, Li, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huang, De-Shuang, editor, Bevilacqua, Vitoantonio, editor, and Premaratne, Prashan, editor

Published
2019
Full Text
View/download PDF

49. Convolutional Capsule-Based Network for Person Re-identification

Author

Li, Andong, Wu, Di, Huang, De-Shuang, Zhang, Lijun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Huang, De-Shuang, editor, Bevilacqua, Vitoantonio, editor, and Premaratne, Prashan, editor

Published
2019
Full Text
View/download PDF

50. Learning Büchi Automata and Its Applications

Author

Li, Yong, Turrini, Andrea, Chen, Yu-Fang, Zhang, Lijun, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bowen, Jonathan P., editor, Liu, Zhiming, editor, and Zhang, Zili, editor

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results