Wang Ming

Results: 94



#Item
1Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2018-03-14 01:29:40
    2Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu

    Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu

    Add to Reading List

    Source URL: www.block-cloud.io

    Language: English - Date: 2018-09-20 01:51:30
    3Facial Expression Recognition with PCA and LBP Features Extracting from Active Facial Patches Yanpeng Liua, Yuwen Caoa, Yibin Lia, Ming Liu, Rui Songa Yafang Wang, Zhigang Xu , Xin Maa† 

    Facial Expression Recognition with PCA and LBP Features Extracting from Active Facial Patches Yanpeng Liua, Yuwen Caoa, Yibin Lia, Ming Liu, Rui Songa Yafang Wang, Zhigang Xu , Xin Maa† 

    Add to Reading List

    Source URL: ram-lab.com

    - Date: 2016-06-13 01:08:04
      4Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER

      Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER

      Add to Reading List

      Source URL: hepex.irstea.fr

      - Date: 2016-06-20 06:48:43
        5CAPS Storm-Scale Ensemble Forecast in HWT 2011 Spring Experiment: Sensitivity of WRF physics on QPF Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Xuguang Wang (Center for Analysis and Prediction o

        CAPS Storm-Scale Ensemble Forecast in HWT 2011 Spring Experiment: Sensitivity of WRF physics on QPF Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Xuguang Wang (Center for Analysis and Prediction o

        Add to Reading List

        Source URL: www2.mmm.ucar.edu

        Language: English - Date: 2011-07-19 10:48:58
        6Measuring Relationship Anonymity in Mix Networks Vitaly Shmatikov and Ming-Hsiu Wang The University of Texas at Austin ABSTRACT Many applications of mix networks such as anonymous Web browsing require relationship anonym

        Measuring Relationship Anonymity in Mix Networks Vitaly Shmatikov and Ming-Hsiu Wang The University of Texas at Austin ABSTRACT Many applications of mix networks such as anonymous Web browsing require relationship anonym

        Add to Reading List

        Source URL: www.cyber-ta.org

        Language: English - Date: 2007-02-22 22:56:09
        7From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu*  Abstract—Object co-segmentation aims to identify and

        From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu*  Abstract—Object co-segmentation aims to identify and

        Add to Reading List

        Source URL: www.ram-lab.com

        Language: English - Date: 2015-12-19 11:23:47
          8From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu*  Abstract—Object co-segmentation aims to identify and

          From Co-saliency Detection to Object Co-segmentation: a Unified Multi-stage Low-rank Matrix Recovery Approach Hao Chen, Panbing Wang, Ming Liu*  Abstract—Object co-segmentation aims to identify and

          Add to Reading List

          Source URL: ram-lab.com

          Language: English - Date: 2015-12-19 11:23:47
          9CAPS Storm-Scale Ensemble Forecast (SSEF) in Support of NOAA HWT 2010 Spring Experiment Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Jidong Gao, Xuguang Wang (Center for Analysis and Prediction o

          CAPS Storm-Scale Ensemble Forecast (SSEF) in Support of NOAA HWT 2010 Spring Experiment Fanyou Kong, Ming Xue, Kevin W. Thomas, Yunheng Wang, Keith Brewster, Jidong Gao, Xuguang Wang (Center for Analysis and Prediction o

          Add to Reading List

          Source URL: www2.mmm.ucar.edu

          Language: English - Date: 2010-06-28 11:29:33
          10Rank-One Matrix Pursuit for Matrix Completion Zheng Wang∗ ZHENGWANG @ ASU . EDU Ming-Jun Lai† MJLAI @ MATH . UGA . EDU

          Rank-One Matrix Pursuit for Matrix Completion Zheng Wang∗ ZHENGWANG @ ASU . EDU Ming-Jun Lai† MJLAI @ MATH . UGA . EDU

          Add to Reading List

          Source URL: jmlr.org

          Language: English - Date: 2015-02-01 17:03:30