Criterion

Results: 3122



#Item
21Proc. of the 5th Int. Conference on Digital Audio Effects (DAFX-02), Hamburg, Germany, September 26-28, 2002  A NEW CRITERION AND ASSOCIATED BIT ALLOCATION METHOD FOR CURRENT AUDIO CODING STANDARDS C.M. Liu, W.J. Lee, an

Proc. of the 5th Int. Conference on Digital Audio Effects (DAFX-02), Hamburg, Germany, September 26-28, 2002 A NEW CRITERION AND ASSOCIATED BIT ALLOCATION METHOD FOR CURRENT AUDIO CODING STANDARDS C.M. Liu, W.J. Lee, an

Add to Reading List

Source URL: www.mp3-tech.org

Language: English - Date: 2009-06-28 10:45:59
    22Motivations  Reduction operators Lattice criterion for rejecting useless reductions

    Motivations Reduction operators Lattice criterion for rejecting useless reductions

    Add to Reading List

    Source URL: cl-informatik.uibk.ac.at

    - Date: 2017-09-12 04:41:19
      23A Semantic Criterion for Proving Infeasibility in Conditional Rewriting ∗ Salvador Lucas and Ra´ ul Guti´errez DSIC, Universitat Polit`ecnica de Val`encia, Spain

      A Semantic Criterion for Proving Infeasibility in Conditional Rewriting ∗ Salvador Lucas and Ra´ ul Guti´errez DSIC, Universitat Polit`ecnica de Val`encia, Spain

      Add to Reading List

      Source URL: cl-informatik.uibk.ac.at

      - Date: 2017-09-12 04:41:19
        24A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017

        A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017

        Add to Reading List

        Source URL: cl-informatik.uibk.ac.at

        - Date: 2017-09-12 04:41:19
          25A Ground Joinability Criterion for Ordered Completion∗ Sarah Winkler University of Innsbruck, Austria  Abstract By Newman’s Lemma and the Extended Critical Pair Lemma, ordered completion tools

          A Ground Joinability Criterion for Ordered Completion∗ Sarah Winkler University of Innsbruck, Austria Abstract By Newman’s Lemma and the Extended Critical Pair Lemma, ordered completion tools

          Add to Reading List

          Source URL: cl-informatik.uibk.ac.at

          - Date: 2017-09-12 04:41:19
            26A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez

            A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez

            Add to Reading List

            Source URL: cl-informatik.uibk.ac.at

            - Date: 2017-09-12 04:41:19
              27

              NTSO Undergraduate Scholarship Selection Rubric Criterion 1 2 3 4 5 NTSO Participation:

              Add to Reading List

              Source URL: gato-docs.its.txstate.edu

              - Date: 2016-12-27 14:34:30
                28Microsoft Word - RESERVATION CRITERION.docx

                Microsoft Word - RESERVATION CRITERION.docx

                Add to Reading List

                Source URL: cdn4.digialm.com

                - Date: 2016-04-15 10:57:53
                  29A Comparison of Specialized Family Care and Specialized Foster Care in West Virginia Program Referral Criterion

                  A Comparison of Specialized Family Care and Specialized Foster Care in West Virginia Program Referral Criterion

                  Add to Reading List

                  Source URL: ced.hsc.wvu.edu

                  - Date: 2015-12-04 01:04:41
                    30WHICH QUANTIFIERS ARE LOGICAL? A COMBINED SEMANTICAL AND INFERENTIAL CRITERION Solomon Feferman For the Constructive in Logic and Applications conference

                    WHICH QUANTIFIERS ARE LOGICAL? A COMBINED SEMANTICAL AND INFERENTIAL CRITERION Solomon Feferman For the Constructive in Logic and Applications conference

                    Add to Reading List

                    Source URL: math.stanford.edu

                    - Date: 2012-05-17 18:29:40