Barrett

Results: 2034



#Item
51

Reading metrics for estimating task efficiency with MT output Sigrid Klerke† Sheila Castilho∗ Maria Barrett† Anders Søgaard† † CST, University of Copenhagen, Denmark

Add to Reading List

Source URL: aclweb.org

- Date: 2015-09-09 11:01:11
    52

    World Socialist Web Site wsws.org 100 years of General Relativity By Don Barrett

    Add to Reading List

    Source URL: intsse.com

      53

      Extracting token-level signals of syntactic processing from fMRI - with an application to PoS induction Joachim Bingel Maria Barrett Anders Søgaard Centre for Language Technology, University of Copenhagen Njalsgade 140,

      Add to Reading List

      Source URL: www.aclweb.org

      - Date: 2016-08-01 10:37:54
        54

        Wrack Lines Fall/WinterLong Island Sound and Climate Change – What is Going to Happen? Jennifer Pagach and Juliana Barrett ave you noticed any changes in Long Island Sound?

        Add to Reading List

        Source URL: web2.uconn.edu

        - Date: 2011-01-14 15:15:05
          55

          Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CASeptember 2016

          Add to Reading List

          Source URL: www.socsci.uci.edu

          - Date: 2016-09-07 17:50:21
            56

            Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2015-06-23 07:23:45
              57

              CascadeCompetition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at NYU.

              Add to Reading List

              Source URL: www.cs.nyu.edu

              - Date: 2016-01-23 11:34:02
                58

                Learning Accurate, Compact, and Interpretable Tree Annotation Slav Petrov Leon Barrett Romain Thibaux Dan Klein

                Add to Reading List

                Source URL: aclweb.org

                - Date: 2010-06-15 02:51:33
                  59

                  Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat

                  Add to Reading List

                  Source URL: www.cs.nyu.edu

                  - Date: 2015-01-29 13:02:34
                    60

                    Virtual Machine Warm-up Blows Hot and Cold 1. Edd Barrett

                    Add to Reading List

                    Source URL: theunixzoo.co.uk

                    - Date: 2016-12-08 08:14:48
                      UPDATE