Barrett

Results: 2034



#Item
41

Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

Add to Reading List

Source URL: lara.epfl.ch

- Date: 2017-08-25 12:01:44
    42

    Patrick J. Barrett Deputy Chief of Navy Reserve OPNAV N095B Mr. Patrick Barrett is the Deputy Chief Navy Reserve on the Chief of Naval Operations Staff (OPNAV 095) Washington DC. He is the principal advisor to the Chief

    Add to Reading List

    Source URL: www.secnav.navy.mil

    - Date: 2017-04-03 15:11:01
      43

      Barrett – Cognitive approach to religion Opinion Exploring the natural foundations of religion

      Add to Reading List

      Source URL: pdfs.semanticscholar.org

      - Date: 2015-07-28 22:27:02
        44

        Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CAFebruary 2017

        Add to Reading List

        Source URL: www.socsci.uci.edu

        - Date: 2017-02-04 02:20:06
          45

          VM Warmup Blows Hot and Cold Edd Barrett Carl Friedrich

          Add to Reading List

          Source URL: soft-dev.org

          - Date: 2017-07-17 11:08:55
            46

            Weakly Supervised Part-of-speech Tagging Using Eye-tracking Data Maria Barrett† Joachim Bingel† Frank Keller∗ Anders Søgaard† † Centre for Language Technology, University of Copenhagen Njalsgade 140, 2300 Cope

            Add to Reading List

            Source URL: www.aclweb.org

            - Date: 2016-08-01 10:39:29
              47

              Reading behavior predicts syntactic categories Maria Barrett and Anders Søgaard University of Copenhagen Njalsgade 140 DK-2300 Copenhagen S {dtq912,soegaard}@hum.ku.dk

              Add to Reading List

              Source URL: www.anthology.aclweb.org

              - Date: 2015-07-26 22:45:08
                48

                Form Methods Syst Des DOIs10703z Being careful about theory combination Dejan Jovanovi´c · Clark Barrett

                Add to Reading List

                Source URL: www.cs.nyu.edu

                - Date: 2012-12-08 12:59:26
                  49

                  The Dundee Treebank Maria Barrett, Željko Agi´c and Anders Søgaard Center for Language Technology, University of Copenhagen Njalsgade 140, 2300 Copenhagen S, Denmark E-mail:{barrett|zeljko.agic|soegaard}@hum.ku.dk Abs

                  Add to Reading List

                  Source URL: bib.irb.hr

                  - Date: 2015-12-10 06:15:14
                    50

                    Using reading behavior to predict grammatical functions Maria Barrett and Anders Søgaard University of Copenhagen Njalsgade 140 DK-2300 Copenhagen S {barrett,soegaard}@hum.ku.dk

                    Add to Reading List

                    Source URL: aclweb.org

                    - Date: 2015-09-09 11:01:08
                      UPDATE