Reasoning

Results: 5026



#Item
151

Automated Reasoning for Web Page Layout Emina Torlak Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distrib

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    152

    Visual Reasoning with Natural Language Stephanie Zhou∗ , Alane Suhr∗ , and Yoav Artzi Dept. of Computer Science and Cornell Tech Cornell University New York, NY 10044

    Add to Reading List

    Source URL: yoavartzi.com

    - Date: 2018-04-02 13:13:18
      153

      Modeling and Reasoning about Success, Failure, and Intent of Multi-Agent Activities Adam Sadilek University of Rochester ABSTRACT

      Add to Reading List

      Source URL: www.cs.rochester.edu

      - Date: 2010-07-06 21:03:35
        154

        Link Traversal and Reasoning in Dynamic Linked Data Knowledge Bases Andreas Harth Institut f¨

        Add to Reading List

        Source URL: harth.org

        - Date: 2017-02-16 12:41:28
          155

          NOTES ON BACKWARDS REASONING Consider proving the identity cosec θ − sin θ = cos θ cot θ. This question is often answered with the right ideas — but incorrectly — in the following manner. so

          Add to Reading List

          Source URL: engmaths.group.shef.ac.uk

          - Date: 2017-08-24 06:17:44
            156

            A Corpus of Natural Language for Visual Reasoning (Supplementary Material) Alane Suhr† , Mike Lewis‡ , James Yeh† , and Yoav Artzi† † Dept. of Computer Science and Cornell Tech, Cornell University, New York, N

            Add to Reading List

            Source URL: yoavartzi.com

            - Date: 2018-04-02 13:13:18
              157

              1 Bonsai: Synthesis-Based Reasoning for Type Systems arXiv:1708.00551v1 [cs.PL] 1 AugKARTIK CHANDRA, Stanford University

              Add to Reading List

              Source URL: arxiv.org

              - Date: 2017-08-02 20:22:34
                158

                A Corpus of Natural Language for Visual Reasoning Alane Suhr† , Mike Lewis‡ , James Yeh† , and Yoav Artzi† † Dept. of Computer Science and Cornell Tech, Cornell University, New York, NY 10044 {suhr, yoav}@cs.co

                Add to Reading List

                Source URL: yoavartzi.com

                - Date: 2018-04-02 13:13:18
                  159

                  3D-Based Reasoning with Blocks, Support, and Stability Zhaoyin Jia† , Andrew Gallagher† , Ashutosh Saxena⇤ , Tsuhan Chen† † School of Electrical and Computer Engineering, Cornell University. ⇤ Department of C

                  Add to Reading List

                  Source URL: www.cs.cornell.edu

                  - Date: 2013-04-20 00:21:58
                    UPDATE