Cheung

Results: 3139



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

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
    22HoTTSQL: 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

    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
      23Fast 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

      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
        24Verified Lifting of Stencil Computations Shoaib Kamil Alvin Cheung Adobe, USA

        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
          25Securing 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

          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
            26Taming 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

            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
              27INSPIRANDO 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

              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
                28Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung

                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
                  29http://www.psi.toronto.edu Factorgrams: A tool for visualizing multi-way associations in biological data Vincent Cheung, Inmar Givoni, Delbert Dueck, Brendan J. Frey

                  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
                    30Computational Cost of Querying for Related Entities in Different Ontologies Chung Ming Cheung Yinuo Zhang Anand Panangadan Viktor K. Prasanna

                    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