Kenji

Results: 433



#Item
31

Leveraging monotonic state in F* Danel Ahman @ INRIA Paris joint work with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    32

    Embracing monotonicity in Danel Ahman @ INRIA Paris based on a joint POPL 2018 paper with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

    Add to Reading List

    Source URL: danelahman.github.io

    - Date: 2018-03-25 20:15:13
      33

      Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman @ INRIA Paris C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        34

        Embracing monotonicity in Danel Ahman @ INRIA Paris joint work with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

        Add to Reading List

        Source URL: danelahman.github.io

        - Date: 2018-03-25 20:15:13
          35

          Embracing Error to Enable Rapid Crowdsourcing Ranjay Krishna1 , Kenji Hata1 , Stephanie Chen1 , Joshua Kravitz1 , David A. Shamma2 , Li Fei-Fei1 , Michael S. Bernstein1 Stanford University1 , Yahoo! Labs2 {ranjaykrishna,

          Add to Reading List

          Source URL: arxiv.org

          - Date: 2016-02-15 20:27:56
            36

            Guia mangá Universo Kenji Ishikawa, Kiyoshi Kawabata,

            Add to Reading List

            Source URL: s3.novatec.com.br

            - Date: 2017-01-21 13:04:15
              37

              Program Extraction from Nested Definitions Kenji Miyamoto1,? , Fredrik Nordvall Forsberg2,?,?? and Helmut Schwichtenberg1 1 Ludwig-Maximilians-Universit¨

              Add to Reading List

              Source URL: personal.cis.strath.ac.uk

              - Date: 2013-12-28 10:04:09
                38

                Mono-glass for Providing Distance Information for People Losing Sight in One Eye Masahiro Toyoura∗ Kenji Kashiwagi Atsushi Sugiura

                Add to Reading List

                Source URL: www.vc.media.yamanashi.ac.jp

                - Date: 2012-10-31 03:30:03
                  39

                  A Computational Approach to Deciphering Unknown Scripts Kenji Yamada K e v i n Knight U S C / I n f o r m a t i o n Sciences Institute 4676 A d m i r a l t y Way

                  Add to Reading List

                  Source URL: www.aclweb.org

                  - Date: 2010-06-15 10:43:26
                    40

                    Guia mangá Universo Kenji Ishikawa, Kiyoshi Kawabata,

                    Add to Reading List

                    Source URL: s3.amazonaws.com

                    - Date: 2016-08-19 14:59:31
                      UPDATE