Maurizio

Results: 569



#Item
41Transforming Constrained Horn Clauses for Program Verification Maurizio Proietti (IASI-CNR, Rome, Italy) Joint work with Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi Eindhoven, April 3rd, 2016

Transforming Constrained Horn Clauses for Program Verification Maurizio Proietti (IASI-CNR, Rome, Italy) Joint work with Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi Eindhoven, April 3rd, 2016

Add to Reading List

Source URL: hcvs2016.it.uu.se

- Date: 2016-04-08 07:01:11
    42MVP OSM: A TOOL TO IDENTIFY AREAS OF HIGH QUALITY CONTRIBUTOR ACTIVITY IN OPENSTREETMAP Maurizio Napolitano and Peter Mooney Abstract OpenStreetMap’s success continues to grow and contributions are not limited to the c

    MVP OSM: A TOOL TO IDENTIFY AREAS OF HIGH QUALITY CONTRIBUTOR ACTIVITY IN OPENSTREETMAP Maurizio Napolitano and Peter Mooney Abstract OpenStreetMap’s success continues to grow and contributions are not limited to the c

    Add to Reading List

    Source URL: www.cs.nuim.ie

    - Date: 2012-06-01 10:14:28
      43Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d

      Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2011-06-28 16:36:40
        44Bericht über den 15. EAHIL-Kongress Sevilla, Juni 2016 Maurizio Grilli Allgemein

        Bericht über den 15. EAHIL-Kongress Sevilla, Juni 2016 Maurizio Grilli Allgemein

        Add to Reading List

        Source URL: media02.culturebase.org

        - Date: 2016-10-11 06:13:49
          45Conceptual Modeling for Data Integration Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2, and Riccardo Rosati2 1 KRDB Research Centre Free University of Bozen-Bolzano

          Conceptual Modeling for Data Integration Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2, and Riccardo Rosati2 1 KRDB Research Centre Free University of Bozen-Bolzano

          Add to Reading List

          Source URL: www.dis.uniroma1.it

          - Date: 2010-04-29 06:31:55
            46On Higher-Order Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica S APIENZA Universit`a di Roma www.dis.uniroma1.it/∼lastname

            On Higher-Order Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica S APIENZA Universit`a di Roma www.dis.uniroma1.it/∼lastname

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2009-07-07 04:46:34
              47Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

              Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

              Add to Reading List

              Source URL: www.dis.uniroma1.it

              - Date: 2010-04-29 06:15:00
                48Competition on Counter Measures to 2-D Facial Spoofing Attacks Murali Mohan Chakka1 , Andr´e Anjos1 , S´ebastien Marcel1 , Roberto Tronci2 , Daniele Muntoni2 , Gianluca Fadda2 , Maurizio Pili2 , Nicola Sirena2 , Gabrie

                Competition on Counter Measures to 2-D Facial Spoofing Attacks Murali Mohan Chakka1 , Andr´e Anjos1 , S´ebastien Marcel1 , Roberto Tronci2 , Daniele Muntoni2 , Gianluca Fadda2 , Maurizio Pili2 , Nicola Sirena2 , Gabrie

                Add to Reading List

                Source URL: publications.idiap.ch

                - Date: 2011-09-21 09:53:29
                  49Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, M ASTRO at Work: Experiences on Ontology-based Data Access Domenico Fabio Savo1 , Domenico Lembo1 , Maurizio Lenzerini1 , Ant

                  Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, M ASTRO at Work: Experiences on Ontology-based Data Access Domenico Fabio Savo1 , Domenico Lembo1 , Maurizio Lenzerini1 , Ant

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2010-04-20 14:40:19
                    50On the evolution of the instance level of DL-Lite knowledge bases Maurizio Lenzerini, Domenico Fabio Savo Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit` a di Roma

                    On the evolution of the instance level of DL-Lite knowledge bases Maurizio Lenzerini, Domenico Fabio Savo Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit` a di Roma

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2011-06-26 10:20:59