INF

Results: 15295



#Item
991

You and Your Research & The Elements of Style Philip Wadler University of Edinburgh PLMW, Rome, 3.30pm Tuesday 22 January 2013

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

- Date: 2013-04-11 07:17:13
    992

    Coherence Generalises Duality: a logical explanation of multiparty session types Marco Carbone1 , Sam Lindley2 , Fabrizio Montesi3 , Carsten Schürmann1 , and Philip Wadler2 1 2

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    - Date: 2016-05-01 14:14:49
      993

      Automated Discovery of Inductive Theorems Keywords: theorem proving and knowledge acquisition Abstract Inductive mathematical theorems have, as a rule, historically been quite dif cult to prove – both for

      Add to Reading List

      Source URL: www.inf.ed.ac.uk

      - Date: 2007-06-28 01:04:40
        994

        Face2Face: Real-time Face Capture and Reenactment of RGB Videos Justus Thies1 Michael Zollh¨ofer2 Marc Stamminger1 Christian Theobalt2 Matthias Nießner3 1 University of Erlangen-Nuremberg 2 Max-Planck-Institute for Inf

        Add to Reading List

        Source URL: gvv.mpi-inf.mpg.de

        - Date: 2016-03-24 06:00:33
          995

          ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume II-5, 2014 ISPRS Technical Commission V Symposium, 23 – 25 June 2014, Riva del Garda, Italy WEB-BASED VISUALIZATION AND QUERY

          Add to Reading List

          Source URL: www.isprs-ann-photogramm-remote-sens-spatial-inf-sci.net

          - Date: 2014-05-28 05:34:59
            996

            Supplemental Material for ”Face2Face: Real-time Face Capture and Reenactment of RGB Videos” Justus Thies1 Michael Zollh¨ofer2 Marc Stamminger1 Christian Theobalt2 Matthias Nießner3 1 University of Erlangen-Nurember

            Add to Reading List

            Source URL: gvv.mpi-inf.mpg.de

            - Date: 2016-03-24 06:03:54
              997

              Processo e Critérios para Apoio da SBIS a Eventos versão1. INTRODUÇÃO Este documento define critérios para que eventos técnicos e científicos venham a ser apoiados pela Sociedade Brasileira de Inf

              Add to Reading List

              Source URL: www.sbis.org.br

              - Date: 2015-12-07 17:43:32
                998

                Cross-Checking Oracles from Intrinsic Software Redundancy Antonio Carzaniga Alberto Goffi

                Add to Reading List

                Source URL: www.inf.usi.ch

                - Date: 2014-03-08 08:30:08
                  999

                  A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at InformatikDresden - Germany and Lutz.Strassburger@Inf.

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2005-12-02 04:44:23
                    1000

                    On Structuring Proof Search for First Order Linear Logic

                    Add to Reading List

                    Source URL: www.ki.inf.tu-dresden.de

                    - Date: 2006-03-26 13:44:51
                      UPDATE