Cheung

Results: 3139



#Item
21

Synthesizing Highly Expressive SQL Queries from Input-Output Examples Chenglong Wang Alvin Cheung

Add to Reading List

Source URL: scythe.cs.washington.edu

- Date: 2017-08-01 19:07:16
    22

    HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu University of Washington {chushumo, weitzkon, akcheung, suciu}@cs.washington.edu

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-04-19 04:15:11
      23

      Fast Matrix Rank Algorithms and Applications HO YEE CHEUNG, TSZ CHIU KWOK, and LAP CHI LAU, The Chinese University of Hong Kong We consider the problem of computing the rank of an m × n matrix A over a field. We present

      Add to Reading List

      Source URL: cs.uwaterloo.ca

      - Date: 2013-10-23 05:31:26
        24

        Verified Lifting of Stencil Computations Shoaib Kamil Alvin Cheung Adobe, USA

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2016-04-16 03:34:28
          25

          Securing the Software-Defined Network Control Layer Phillip Porras, Steven Cheung, Martin Fong, Keith Skinner, and Vinod Yegneswaran Computer Science Laboratory, SRI International 333 Ravenswood Avenue, Menlo Park, CA 94

          Add to Reading List

          Source URL: www.csl.sri.com

          - Date: 2014-12-07 16:47:18
            26

            Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps Lili Wei, Yepang Liu, Shing-Chi Cheung Department of Computer Science and Engineering The Hong Kong University of Science a

            Add to Reading List

            Source URL: sccpu2.cse.ust.hk

            - Date: 2016-08-30 03:06:44
              27

              INSPIRANDO A INNOVADORES DE LA ENERGIA DEL FUTURO Photo by: Ryan Carter, Philip Cheung / Crown Prince Court - Abu Dhabi El premio Zayed Energía del Futuro, creado

              Add to Reading List

              Source URL: www.zayedfutureenergyprize.com

              - Date: 2016-02-02 08:26:31
                28

                Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung

                Add to Reading List

                Source URL: homes.cs.washington.edu

                - Date: 2016-07-17 03:39:59
                  29

                  http://www.psi.toronto.edu Factorgrams: A tool for visualizing multi-way associations in biological data Vincent Cheung, Inmar Givoni, Delbert Dueck, Brendan J. Frey

                  Add to Reading List

                  Source URL: www.psi.toronto.edu

                  - Date: 2009-05-24 17:23:36
                    30

                    Computational Cost of Querying for Related Entities in Different Ontologies Chung Ming Cheung Yinuo Zhang Anand Panangadan Viktor K. Prasanna

                    Add to Reading List

                    Source URL: ganges.usc.edu

                    - Date: 2015-11-30 16:32:48
                      UPDATE