Patrick

Results: 12965



#Item
461

Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-07-25 05:56:10
    462

    Poisson Image Editing Patrick P´erez∗ Michel Gangnet† Andrew Blake‡

    Add to Reading List

    Source URL: www.cs.jhu.edu

    - Date: 2007-08-22 17:49:32
      463

      Assignment 8: Primitive Inlining and Callsite Caches Patrick S. Li November 12,

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

        464

        Assignment 1: The Feeny Teaching Language Patrick S. Li August 12, 2015 1

        Add to Reading List

        Source URL: dl.dropboxusercontent.com

          465

          1 MODAL LOGIC: A SEMANTIC PERSPECTIVE Patrick Blackburn and Johan van Benthem 1

          Add to Reading List

          Source URL: www.illc.uva.nl

          - Date: 2006-04-27 10:35:42
            466

            Assignment 4: Writing a Feeny Bytecode Compiler Patrick S. Li September 17,

            Add to Reading List

            Source URL: dl.dropboxusercontent.com

              467

              Assignment 9: Using Truffle and Graal Patrick S. Li November 24, 2015 1

              Add to Reading List

              Source URL: dl.dropboxusercontent.com

                468

                gvSIG 2.3: novedades del SIG libre de escritorio para las Infraestructuras de Datos Espaciales Sacando el máximo partido a las Infraestructuras de Datos Espaciales con el SIG libre en 3D ANGUIX, Alvaro; HOGAN, Patrick;

                Add to Reading List

                Source URL: www.idee.es

                - Date: 2016-06-28 03:00:19
                  469

                  DL-Learner - A Framework for Inductive Learning on the Semantic Web Lorenz Bühmanna , Jens Lehmannb , Patrick Westphala a University of Leipzig, Institute of Computer Science, AKSW Group, Augustusplatz 10, DLeipz

                  Add to Reading List

                  Source URL: jens-lehmann.org

                  - Date: 2016-09-28 08:35:29
                    470

                    gvSIG 2.3: novedades del SIG libre de escritorio para las Infraestructuras de Datos Espaciales Sacando el máximo partido a las Infraestructuras de Datos Espaciales con el SIG libre en 3D ANGUIX, Álvaro; HOGAN, Patrick;

                    Add to Reading List

                    Source URL: www.idee.es

                    - Date: 2016-09-15 05:31:28
                      UPDATE