Refinement

Results: 838



#Item
412015 13th International Conference on Document Analysis and Recognition (ICDAR) Efficient Scene Text Localization and Recognition with Local Character Refinement Luk´asˇ Neumann

2015 13th International Conference on Document Analysis and Recognition (ICDAR) Efficient Scene Text Localization and Recognition with Local Character Refinement Luk´asˇ Neumann

Add to Reading List

Source URL: cmp.felk.cvut.cz

- Date: 2015-11-07 03:45:46
    42Refinement-Based Context-Sensitive Points-To Analysis for Java Manu Sridharan, Rastislav Bodík UC Berkeley PLDI

    Refinement-Based Context-Sensitive Points-To Analysis for Java Manu Sridharan, Rastislav Bodík UC Berkeley PLDI

    Add to Reading List

    Source URL: manu.sridharan.net

    - Date: 2018-02-03 20:39:22
      432019 Refinement to the 2006 IPCC Guidelines for the National Greenhouse Gas Inventories List of selected Authors & Steering GroupLast Name First Name

      2019 Refinement to the 2006 IPCC Guidelines for the National Greenhouse Gas Inventories List of selected Authors & Steering GroupLast Name First Name

      Add to Reading List

      Source URL: www.ipcc-nggip.iges.or.jp

      - Date: 2017-10-25 05:54:40
        44Predicate 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
          45{ Refinement Types | Algebraic Effects } Danel Ahman LFCS, University of Edinburgh HOPE Workshop, 28 September 2013

          { Refinement Types | Algebraic Effects } Danel Ahman LFCS, University of Edinburgh HOPE Workshop, 28 September 2013

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            46Refinement Types for Algebraic Effects Danel Ahman

            Refinement Types for Algebraic Effects Danel Ahman

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              47Preprocessing Occlusion For Real-Time Selective Refinement Fe&Ah Law’ Tiow-Seng Tan+ National University of Singaporet

              Preprocessing Occlusion For Real-Time Selective Refinement Fe&Ah Law’ Tiow-Seng Tan+ National University of Singaporet

              Add to Reading List

              Source URL: www.comp.nus.edu.sg

              - Date: 2001-04-06 22:46:44
                48Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1.

                Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1.

                Add to Reading List

                Source URL: danelahman.github.io

                - Date: 2018-03-25 20:15:13
                  49Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                  Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                  Add to Reading List

                  Source URL: danelahman.github.io

                  - Date: 2018-03-25 20:15:13
                    50Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

                    Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

                    Add to Reading List

                    Source URL: kennknowles.com

                    - Date: 2011-09-06 01:40:51