Predicate

Results: 1768



#Item
21PARMA: A Predicate Argument Aligner Travis Wolfe, Benjamin Van Durme, Mark Dredze, Nicholas Andrews, Charley Beller, Chris Callison-Burch, Jay DeYoung, Justin Snyder, Jonathan Weese, Tan Xu† , and Xuchen Yao Human Lang

PARMA: A Predicate Argument Aligner Travis Wolfe, Benjamin Van Durme, Mark Dredze, Nicholas Andrews, Charley Beller, Chris Callison-Burch, Jay DeYoung, Justin Snyder, Jonathan Weese, Tan Xu† , and Xuchen Yao Human Lang

Add to Reading List

Source URL: aclweb.org

- Date: 2013-07-25 09:24:49
    22Interpolating Predicate and Functional Encryption from Learning With Errors Shweta Agrawal ∗

    Interpolating Predicate and Functional Encryption from Learning With Errors Shweta Agrawal ∗

    Add to Reading List

    Source URL: eprint.iacr.org

    - Date: 2016-09-22 05:13:43
      23Aligning Predicate-Argument Structures for Paraphrase Fragment Extraction Michaela Regneri∗ , Rui Wang† , Manfred Pinkal ∗ Dept. of Computational Linguistics, Saarland University, Saarbrücken, Germany †

      Aligning Predicate-Argument Structures for Paraphrase Fragment Extraction Michaela Regneri∗ , Rui Wang† , Manfred Pinkal ∗ Dept. of Computational Linguistics, Saarland University, Saarbrücken, Germany †

      Add to Reading List

      Source URL: www.lrec-conf.org

      - Date: 2014-05-20 12:23:26
        24Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

        Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

        Add to Reading List

        Source URL: i12www.iti.kit.edu

        - Date: 2009-01-05 04:34:04
          25Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms)

          Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms)

          Add to Reading List

          Source URL: cs.bath.ac.uk

          - Date: 2012-01-04 16:05:10
            26Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

            Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2012-08-31 08:16:46
              27C-1 Grammar Charts APPENDIX C: GRAMMAR CHARTS 1. Subject and Predicate ¦»

              C-1 Grammar Charts APPENDIX C: GRAMMAR CHARTS 1. Subject and Predicate ¦»

              Add to Reading List

              Source URL: www.studyquran.co.uk

              - Date: 2005-07-25 07:55:14
                28Short & SimpleQualified tax offences as new predicate offences to money laundering On 12 December 2014, the Swiss Parliament adopted the Federal Act on the Implementation the Revised Recommendations

                Short & SimpleQualified tax offences as new predicate offences to money laundering On 12 December 2014, the Swiss Parliament adopted the Federal Act on the Implementation the Revised Recommendations

                Add to Reading List

                Source URL: www.kellerhals-carrard.ch

                - Date: 2016-03-10 10:24:38
                  29On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

                  On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

                  Add to Reading List

                  Source URL: www.phil.uu.nl

                  - Date: 2008-12-12 07:16:16
                    30Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

                    Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

                    Add to Reading List

                    Source URL: i12www.iti.kit.edu

                    - Date: 2010-06-24 07:51:38