National University of Defense Technology

Results: 107



#Item
1Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi

Add to Reading List

Source URL: lqchen.github.io

Language: English - Date: 2018-08-14 11:59:25
    2Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China

    Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China

    Add to Reading List

    Source URL: www.ickn.org

    Language: English - Date: 2014-03-07 06:00:27
      3Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen

      Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen

      Add to Reading List

      Source URL: lqchen.github.io

      Language: English - Date: 2018-08-14 11:59:25
        40 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier

        0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier

        Add to Reading List

        Source URL: lqchen.github.io

        Language: English - Date: 2018-08-14 11:59:25
          5Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China

          Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China

          Add to Reading List

          Source URL: lqchen.github.io

          Language: English - Date: 2018-08-14 11:59:25
            6An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters Xueguang Wu1 , Liqian Chen2 and Ji Wang3 National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Cha

            An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters Xueguang Wu1 , Liqian Chen2 and Ji Wang3 National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Cha

            Add to Reading List

            Source URL: lqchen.github.io

            Language: English - Date: 2018-08-14 11:59:25
              73D Attention-Driven Depth Acquisition for Object Identification Kai Xu, Yifei Shi, Lintao Zheng, Junyu Zhang, Min Liu, Hui Huang, Hao Su, Daniel Cohen-Or and Baoquan Chen National University of Defense Technology Shandon

              3D Attention-Driven Depth Acquisition for Object Identification Kai Xu, Yifei Shi, Lintao Zheng, Junyu Zhang, Min Liu, Hui Huang, Hao Su, Daniel Cohen-Or and Baoquan Chen National University of Defense Technology Shandon

              Add to Reading List

              Source URL: kevinkaixu.net

              - Date: 2018-03-31 21:41:28
                8Attention to Describe Products with Attributes Shuohao Li National University of Defense Technology Changsha, China Kota Yamaguchi

                Attention to Describe Products with Attributes Shuohao Li National University of Defense Technology Changsha, China Kota Yamaguchi

                Add to Reading List

                Source URL: vision.is.tohoku.ac.jp

                - Date: 2017-05-13 04:51:56
                  9Secure Quantum Key Distribution Network with Bell States and Local Unitary Operations Li Chunyan∗ Department of Physics, National University of Defense Technology, Changsha, Hunan, P. R. China, Quantum communic

                  Secure Quantum Key Distribution Network with Bell States and Local Unitary Operations Li Chunyan∗ Department of Physics, National University of Defense Technology, Changsha, Hunan, P. R. China, Quantum communic

                  Add to Reading List

                  Source URL: 2015.qcrypt.net

                  Language: English - Date: 2015-09-22 01:51:24
                    10Multi-Agent Patrolling under Uncertainty and Threats Shaofei Chen1,2 , Feng Wu2 , Lincheng Shen1 , Jing Chen1 , and Sarvapali Ramchurn2 1 College of Mechatronics and Automation, National University of Defense Technology,

                    Multi-Agent Patrolling under Uncertainty and Threats Shaofei Chen1,2 , Feng Wu2 , Lincheng Shen1 , Jing Chen1 , and Sarvapali Ramchurn2 1 College of Mechatronics and Automation, National University of Defense Technology,

                    Add to Reading List

                    Source URL: www.cs.nmsu.edu

                    Language: English - Date: 2014-05-15 11:20:33