Predicate

Results: 1768



#Item
11STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio

STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio

Add to Reading List

Source URL: logic.harvard.edu

Language: English - Date: 2011-10-17 18:37:46
    12Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement⋆ Tachio Terauchi1 and Hiroshi Unno2 1 JAIST

    Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement⋆ Tachio Terauchi1 and Hiroshi Unno2 1 JAIST

    Add to Reading List

    Source URL: www.cs.tsukuba.ac.jp

    Language: English - Date: 2015-03-22 10:07:22
      13Jointly Learning Word Representations and Composition Functions Using Predicate-Argument Structures Kazuma Hashimoto† , Pontus Stenetorp† , Makoto Miwa‡ , and Yoshimasa Tsuruoka† †The University of Tokyo, 3-7-1

      Jointly Learning Word Representations and Composition Functions Using Predicate-Argument Structures Kazuma Hashimoto† , Pontus Stenetorp† , Makoto Miwa‡ , and Yoshimasa Tsuruoka† †The University of Tokyo, 3-7-1

      Add to Reading List

      Source URL: www.logos.t.u-tokyo.ac.jp

      Language: English - Date: 2015-04-17 20:28:21
        14Open Information Extraction from Biomedical Literature Using Predicate-Argument Structure Patterns Nhung T. H. Nguyen†∗ , Makoto Miwa‡ , Yoshimasa Tsuruoka† and Satoshi Tojo∗ † The University of Tokyo, 3-7-1

        Open Information Extraction from Biomedical Literature Using Predicate-Argument Structure Patterns Nhung T. H. Nguyen†∗ , Makoto Miwa‡ , Yoshimasa Tsuruoka† and Satoshi Tojo∗ † The University of Tokyo, 3-7-1

        Add to Reading List

        Source URL: www.jaist.ac.jp

        Language: English - Date: 2013-11-15 03:08:36
          15A Multilingual Predicate Matrix Maddalen Lopez de Lacalle3 , Egoitz Laparra? , Itziar Aldabe? , German Rigau? 3 ?

          A Multilingual Predicate Matrix Maddalen Lopez de Lacalle3 , Egoitz Laparra? , Itziar Aldabe? , German Rigau? 3 ?

          Add to Reading List

          Source URL: adimen.si.ehu.es

          Language: English - Date: 2016-06-02 07:44:37
            16Predicate Refinement Heuristics in Program Verification with CEGAR Tachio Terauchi (JAIST) Part of this is joint work with Hiroshi Unno (U. Tsukuba) 1

            Predicate Refinement Heuristics in Program Verification with CEGAR Tachio Terauchi (JAIST) Part of this is joint work with Hiroshi Unno (U. Tsukuba) 1

            Add to Reading List

            Source URL: hcvs2016.it.uu.se

            - Date: 2016-04-05 17:44:03
              17SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid Viktor Kuncak EPFL, Switzerland

              SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid Viktor Kuncak EPFL, Switzerland

              Add to Reading List

              Source URL: lara.epfl.ch

              - Date: 2016-10-16 16:44:37
                18Extending Map-Reduce for Efficient Predicate-Based Sampling Raman Grover 1

                Extending Map-Reduce for Efficient Predicate-Based Sampling Raman Grover 1

                Add to Reading List

                Source URL: asterix.ics.uci.edu

                - Date: 2016-09-16 22:05:09
                  19Enhancing Predicate Pairing with Abstraction for Relational Verifcation E. De Angelis1, F. Fioravanti1, 2 3 A. Pettorossi , and M. Proietti

                  Enhancing Predicate Pairing with Abstraction for Relational Verifcation E. De Angelis1, F. Fioravanti1, 2 3 A. Pettorossi , and M. Proietti

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  - Date: 2017-11-23 02:13:04
                    20Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

                    Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

                    Add to Reading List

                    Source URL: www.win.tue.nl

                    - Date: 2017-06-27 17:17:14