Liang

Results: 1078



#Item
41

Fast Flow Analysis with G¨odel Hashes Shuying Liang Weibin Sun Matthew Might

Add to Reading List

Source URL: matt.might.net

Language: English - Date: 2014-12-26 13:28:21
    42

    A Hitting Time Analysis of Stochastic Gradient Langevin Dynamics Yuchen Zhang∗ Percy Liang†

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2018-04-09 21:31:11
      43

      WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        44

        1 Active Learning of Points-To Specifications OSBERT BASTANI, Stanford University ALEX AIKEN, Stanford University PERCY LIANG, Stanford University Large libraries pose significant challenges to static points-to analysis.

        Add to Reading List

        Source URL: theory.stanford.edu

        - Date: 2017-07-21 16:53:33
          45

          An End-to-End Measurement of Certificate Revocation in the Web’s PKI Yabing Liu∗ Will Tome∗ Liang Zhang∗ David Choffnes∗ Dave Levin† Bruce Maggs‡ Alan Mislove∗ Aaron Schulman§ Christo Wilson∗ ‡

          Add to Reading List

          Source URL: cbw.sh

          - Date: 2017-08-15 22:40:51
            46

            A Noise-Filtering Approach for Spatio-temporal Event Detection in Social Media Yuan Liang, James Caverlee, and Cheng Cao Department of Computer Science and Engineering, Texas A&M University College Station, Texas, USA {y

            Add to Reading List

            Source URL: faculty.cse.tamu.edu

            - Date: 2015-04-18 18:07:10
              47

              Generalization and Equilibrium in Generative Adversarial Nets (GANs) Sanjeev Arora 1 Rong Ge 2 Yingyu Liang 1 Tengyu Ma 1 Yi Zhang 1 Abstract It is shown that training of generative adversarial network (GAN) may not have

              Add to Reading List

              Source URL: proceedings.mlr.press

              - Date: 2018-02-06 15:06:57
                48

                How Big is the Crowd? Event and Location Based Population Modeling in Social Media Yuan Liang, James Caverlee, Zhiyuan Cheng, Krishna Y. Kamath Department of Computer Science and Engineering Texas A&M University {yliang,

                Add to Reading List

                Source URL: faculty.cse.tamu.edu

                - Date: 2013-04-25 16:02:51
                  49

                  Analysis of SSL Certificate Reissues and Revocations in the Wake of Heartbleed Liang Zhang David Choffnes

                  Add to Reading List

                  Source URL: cbw.sh

                  - Date: 2017-08-15 22:40:50
                    50

                    Polynomial optimization methods for matrix factorization Po-Wei Wang Chun-Liang Li

                    Add to Reading List

                    Source URL: zicokolter.com

                    - Date: 2018-03-15 07:15:21
                      UPDATE