National Defense University

Results: 663



#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
                  9Fayetteville State University 2016 Points of Distinction Academic Programs - Rankings and Recognitions  The Center for Defense and Homeland Security has become a signature program with a national identity. The CDHS of

                  Fayetteville State University 2016 Points of Distinction Academic Programs - Rankings and Recognitions  The Center for Defense and Homeland Security has become a signature program with a national identity. The CDHS of

                  Add to Reading List

                  Source URL: www.uncfsu.edu

                  - Date: 2016-08-24 17:51:32
                    10Internal affairs / Law enforcement / Police brutality / Injustice / National security / Government / Department of Defense Whistleblower Program

                    Internal Affairs The following is the annual statistical summary of internal affairs investigations of the University of Missouri Police Department from July 2015 – JuneInformation in this report is placed in

                    Add to Reading List

                    Source URL: www.mupolice.com

                    Language: English - Date: 2016-07-27 16:53:15