Encodings

Results: 3109



#Item
11LATEX News Issue 8, December 1997 New supported font encodings Graphics

LATEX News Issue 8, December 1997 New supported font encodings Graphics

Add to Reading List

Source URL: www.latex-project.org

- Date: 2016-08-08 13:00:03
    12Challenges in Decomposing Encodings of Verification Problems Peter Schrammel University of Oxford, UK

    Challenges in Decomposing Encodings of Verification Problems Peter Schrammel University of Oxford, UK

    Add to Reading List

    Source URL: hcvs2016.it.uu.se

    - Date: 2016-04-02 04:09:08
      13Output-Compressing Randomized Encodings and Applications Huijia Lin∗ Rafael Pass† Karn Seth‡

      Output-Compressing Randomized Encodings and Applications Huijia Lin∗ Rafael Pass† Karn Seth‡

      Add to Reading List

      Source URL: eprint.iacr.org

      - Date: 2015-12-23 11:56:52
        14Impossibility of VBB Obfuscation with Ideal Constant-Degree Graded Encodings Rafael Pass∗ abhi shelat†

        Impossibility of VBB Obfuscation with Ideal Constant-Degree Graded Encodings Rafael Pass∗ abhi shelat†

        Add to Reading List

        Source URL: eprint.iacr.org

        - Date: 2015-04-24 09:25:33
          15Project Report: Dependently typed programming with lambda encodings in Cedille Ananda Guneratne, Chad Reynolds, and Aaron Stump Computer Science, The University of Iowa, Iowa City, Iowa, USA , c

          Project Report: Dependently typed programming with lambda encodings in Cedille Ananda Guneratne, Chad Reynolds, and Aaron Stump Computer Science, The University of Iowa, Iowa City, Iowa, USA , c

          Add to Reading List

          Source URL: homepage.cs.uiowa.edu

          - Date: 2016-08-15 15:47:01
            16Deep Semantic Encodings for Language Modeling Ali Orkan Bayer and Giuseppe Riccardi Signals and Interactive Systems Lab - University of Trento, Italy {bayer, riccardi}@disi.unitn.it Abstract

            Deep Semantic Encodings for Language Modeling Ali Orkan Bayer and Giuseppe Riccardi Signals and Interactive Systems Lab - University of Trento, Italy {bayer, riccardi}@disi.unitn.it Abstract

            Add to Reading List

            Source URL: www.sensei-conversation.eu

            - Date: 2015-09-01 18:05:51
              1739th International Symposium on Multiple-Valued Logic Regular Encodings from Max-CSP into Partial Max-SAT∗ Josep Argelich INESC-ID

              39th International Symposium on Multiple-Valued Logic Regular Encodings from Max-CSP into Partial Max-SAT∗ Josep Argelich INESC-ID

              Add to Reading List

              Source URL: www.mancoosi.org

              - Date: 2012-12-16 04:54:55
                1840th IEEE International Symposium on Multiple-Valued Logic New Insights into Encodings from MaxCSP into Partial MaxSAT∗ Josep Argelich DIEI, UdL Lleida, Spain

                40th IEEE International Symposium on Multiple-Valued Logic New Insights into Encodings from MaxCSP into Partial MaxSAT∗ Josep Argelich DIEI, UdL Lleida, Spain

                Add to Reading List

                Source URL: www.mancoosi.org

                - Date: 2012-12-16 04:54:55
                  19Accepted for publication in Neural Networks, DOIj.neunet, to appearTwo-Layer Contractive Encodings for Learning Stable Nonlinear Features Hannes Schulza , Kyunghyun Chob , Tapani Raikob , Sve

                  Accepted for publication in Neural Networks, DOIj.neunet, to appearTwo-Layer Contractive Encodings for Learning Stable Nonlinear Features Hannes Schulza , Kyunghyun Chob , Tapani Raikob , Sve

                  Add to Reading List

                  Source URL: www.ais.uni-bonn.de

                  - Date: 2014-10-06 04:25:22
                    20An empirical study of QBF encodings: from treewidth to useful preprocessing Luca Pulina and Armando Tacchella DIST, Universit`a di Genova, Viale Causa, 13 – 16145 Genova, Italy {Luca.Pulina | Armando.Tacchella}@unige.i

                    An empirical study of QBF encodings: from treewidth to useful preprocessing Luca Pulina and Armando Tacchella DIST, Universit`a di Genova, Viale Causa, 13 – 16145 Genova, Italy {Luca.Pulina | Armando.Tacchella}@unige.i

                    Add to Reading List

                    Source URL: tmancini.di.uniroma1.it

                    - Date: 2008-12-16 11:07:23