Skip to main content

4 Result(s)

within Zhongwei Xu Remove this filter Artificial Intelligence Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Formal Method for Testing Reactive System from Symbolic Model

    Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test...

    Yongbing Wan, Zhongwei Xu, Meng Mei in Artificial Intelligence and Computational … (2012)

  2. No Access

    Chapter and Conference Paper

    New Generation Power System Security Protection Technology Based on Dynamic Defense

    With the development of power information systems and the evolution of attack means, the traditional security protection scheme is difficult to deal with the increasing network attacks. In order to deal with t...

    **aowei Chen, Hefang Jiang, Shaocheng Wu, Tao Liu… in Artificial Intelligence and Security (2022)

  3. No Access

    Chapter and Conference Paper

    Research on Music Genre Classification Based on Residual Network

    With the rapid development of information technology, the number of songs is exploding, so the classification of music genres is a very challenging task, and at this stage, the implementation of automated clas...

    Zhongwei Xu, Yuan Feng, Shengyu Song, Yuanxiang Xu… in Mobile Multimedia Communications (2022)

  4. No Access

    Chapter and Conference Paper

    Conf-UNet: A Model for Speculation on Unknown Oracle Bone Characters

    Oracle Bone Characters (OBC) are the oldest developed pictographs in China, having been created over 3000 years ago. As a result of their antiquity and the scarcity of relevant historical sources, identifying ...

    Yuanxiang Xu, Yuan Feng, Jiahao Liu… in Knowledge Science, Engineering and Managem… (2023)