Yang

Results: 5447



#Item
261

Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

- Date: 2016-07-25 11:06:40
    262

    Estimating Human Pose from Occluded Images Jia-Bin Huang and Ming-Hsuan Yang Electrical Engineering and Computer Science University of California at Merced {jbhuang, mhyang}@ieee.org

    Add to Reading List

    Source URL: faculty.ucmerced.edu

    - Date: 2013-06-19 20:03:29
      263

      Improving Performance by Branch Reordering MINGHUI YANG∗, GANG-RYUNG UH†, AND DAVID B. WHALLEY∗ ∗Department of Computer Science, Florida State University, Tallahassee, FLe-mail: {myang,whalley}@cs.fsu

      Add to Reading List

      Source URL: www.cs.fsu.edu

      - Date: 2016-05-21 11:35:32
        264

        Matrix Completion with Noisy Side Information ∗ Kai-Yang Chiang∗ Cho-Jui Hsieh † Inderjit S. Dhillon ∗ †

        Add to Reading List

        Source URL: www.cs.utexas.edu

        - Date: 2016-12-06 01:56:05
          265

          Robust Principal Component Analysis with Side Information Kai-Yang Chiang? KYCHIANG @ CS . UTEXAS . EDU Cho-Jui Hsieh† CHOHSIEH @ UCDAVIS . EDU

          Add to Reading List

          Source URL: www.cs.utexas.edu

          - Date: 2016-11-28 18:56:43
            266

            THE THREE HAT PROBLEM arXiv:0710.2685v1 [math.HO] 14 Oct 2007 BRIAN BENSON AND YANG WANG

            Add to Reading List

            Source URL: arxiv.org

            - Date: 2008-02-01 22:55:52
              267

              Rilis PUPR #1 17 Maret 2017 SP.BIRKOM/IIIPLBN Aruk Menjadi PLBN Ketiga di Kalimantan yang Diresmikan Presiden Jokowi

              Add to Reading List

              Source URL: 103.12.84.178

              - Date: 2017-03-19 23:29:44
                268

                Automated Bug Removal for Software-Defined Networks Yang Wu? , Ang Chen? , Andreas Haeberlen? , Wenchao Zhou† , Boon Thau Loo? ? University of Pennsylvania, † Georgetown University

                Add to Reading List

                Source URL: www.cis.upenn.edu

                - Date: 2017-03-29 15:09:42
                  269

                  Automated Bug Removal for Software-Defined Networks Yang Wu? , Ang Chen? , Andreas Haeberlen? , Wenchao Zhou† , Boon Thau Loo? ? University of Pennsylvania, † Georgetown University

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  - Date: 2017-02-23 23:03:39
                    270

                    KATA PENGANTAR Dalam tataran Negara Kesatuan Republik Indonesia (NKRI), dengan citacita luhur demi terselenggaranya good governance atau kepemerintahan yang baik diperlukan pengembangan dan penerapan sistem pertanggungj

                    Add to Reading List

                    Source URL: www.bit.lipi.go.id

                    - Date: 2016-04-15 08:42:12
                      UPDATE