Sheng

Results: 843



#Item
21Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu

Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    22Kiln: Closing the Performance Gap Between Systems With and Without Persistence Support Jishen Zhao† Sheng Li‡ Doe Hyun Yoon∗ Yuan Xie†

    Kiln: Closing the Performance Gap Between Systems With and Without Persistence Support Jishen Zhao† Sheng Li‡ Doe Hyun Yoon∗ Yuan Xie†

    Add to Reading List

    Source URL: www.cse.psu.edu

    - Date: 2013-11-18 20:11:47
      23Taking an AXE to L2 Spanning Trees James McCauley Alice Sheng Ethan J. Jackson

      Taking an AXE to L2 Spanning Trees James McCauley Alice Sheng Ethan J. Jackson

      Add to Reading List

      Source URL: conferences.sigcomm.org

      - Date: 2015-10-30 12:24:18
        24Universal Decompositional Semantics on Universal Dependencies Aaron Steven White Drew Reisinger Keisuke Sakaguchi Tim Vieira Sheng Zhang Rachel Rudinger Kyle Rawlins Benjamin Van Durme Johns Hopkins University

        Universal Decompositional Semantics on Universal Dependencies Aaron Steven White Drew Reisinger Keisuke Sakaguchi Tim Vieira Sheng Zhang Rachel Rudinger Kyle Rawlins Benjamin Van Durme Johns Hopkins University

        Add to Reading List

        Source URL: aclweb.org

          25Bayesian and Empirical Bayesian Forests Matt Taddy University of Chicago Booth School of Business Chun-Sheng Chen eBay

          Bayesian and Empirical Bayesian Forests Matt Taddy University of Chicago Booth School of Business Chun-Sheng Chen eBay

          Add to Reading List

          Source URL: jmlr.org

          - Date: 2015-09-16 19:38:46
            26I am a Smartwatch and I can Track my User’s Arm Sheng Shen, He Wang, Romit Roy Choudhury University of Illinois at Urbana-Champaign {sshen19, hewang5, croy}@illinois.edu ABSTRACT

            I am a Smartwatch and I can Track my User’s Arm Sheng Shen, He Wang, Romit Roy Choudhury University of Illinois at Urbana-Champaign {sshen19, hewang5, croy}@illinois.edu ABSTRACT

            Add to Reading List

            Source URL: synrg.csl.illinois.edu

            - Date: 2016-05-09 20:13:56
              27A Calculus for Variational Programming∗ Sheng Chen1 , Martin Erwig2 , and Eric Walkingshaw3 1 University of Louisiana at Lafayette

              A Calculus for Variational Programming∗ Sheng Chen1 , Martin Erwig2 , and Eric Walkingshaw3 1 University of Louisiana at Lafayette

              Add to Reading List

              Source URL: drops.dagstuhl.de

              - Date: 2016-07-18 08:01:47
                28How Containers Will Usher in a New Era of Cloud Computing Sheng Liang, CEO Rancher Labs November 3, 2016 © 2016

                How Containers Will Usher in a New Era of Cloud Computing Sheng Liang, CEO Rancher Labs November 3, 2016 © 2016

                Add to Reading List

                Source URL: res.cdn.sys-con.com

                - Date: 2016-11-09 08:40:36
                  29SoEs: Attachable Augmented Haptic on Gaming Controller for Immersive Interaction Yang-Sheng Chen National Taiwan University Taipei, 10617, TW

                  SoEs: Attachable Augmented Haptic on Gaming Controller for Immersive Interaction Yang-Sheng Chen National Taiwan University Taipei, 10617, TW

                  Add to Reading List

                  Source URL: aui16.files.wordpress.com

                  - Date: 2016-10-15 22:52:25
                    30Article pubs.acs.org/journal/apchd5 Nonimaging Optical Gain in Luminescent Concentration through Photonic Control of Emission Étendue Yufei Shen,†,‡ Yufei Jia,† Xing Sheng,§ Ling Shen,∥ John A. Rogers,§ and N

                    Article pubs.acs.org/journal/apchd5 Nonimaging Optical Gain in Luminescent Concentration through Photonic Control of Emission Étendue Yufei Shen,†,‡ Yufei Jia,† Xing Sheng,§ Ling Shen,∥ John A. Rogers,§ and N

                    Add to Reading List

                    Source URL: rogers.matse.illinois.edu

                    - Date: 2014-09-09 08:03:14