Encodings

Results: 3109



#Item
11

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
    12

    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
      13

      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
        14

        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
          15

          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
            16

            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
              17

              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
                18

                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
                  19

                  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
                    20

                    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
                      UPDATE