Pascal

Results: 3744



#Item
571

On the Capabilities and Limitations of OWL Regarding Typecasting and Ontology Design Pattern Views Adila A. Krisnadhi1,3 , Pascal Hitzler1 , and Krzysztof Janowicz2 1

Add to Reading List

Source URL: daselab.cs.wright.edu

Language: English - Date: 2015-11-23 21:58:15
    572

    Ontology modeling with domain experts Pascal Hitzler Data Semantics Laboratory Wright State University http://www.pascal-hitzler.de

    Add to Reading List

    Source URL: daselab.cs.wright.edu

    Language: English - Date: 2015-10-12 20:56:43
      573

      Pattern-Based Linked Data Publication: The Linked Chess Dataset Case V´ıctor Rodr´ıguez-Doncel1 , Adila A. Krisnadhi2,3 , Pascal Hitzler2 , Michelle Cheatham2 , Nazifa Karima2 , and Reihaneh Amini2 1

      Add to Reading List

      Source URL: delicias.dia.fi.upm.es

      Language: English - Date: 2015-11-04 11:26:21
        574

        Journal of ELECTRICAL ENGINEERING, VOL. 51, NO. 12/s, 2000, 3{7 DISLOCATED TOPOLOGIES1 Pascal Hitzler | Anthony Karel Seda We study a generalized notion of topology which evolved from applications in the area of logic p

        Add to Reading List

        Source URL: daselab.cs.wright.edu

        Language: English - Date: 2014-10-02 17:14:50
          575

          Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

          Add to Reading List

          Source URL: www.verit-solver.org

          Language: English - Date: 2015-06-10 09:33:21
            576

            cHTeMeLe ReadMe_fr v2.7.1 Auteur: Olivier Chambon Graphisme / illustration: Pascal Mabille

            Add to Reading List

            Source URL: www.chtemele.org

            Language: French - Date: 2012-10-09 08:30:15
              577

              Affine Equivalence and its Application to Tightening Threshold Implementations Pascal Sasdrich, Amir Moradi, Tim G¨ uneysu Horst G¨ ortz Institute for IT Security, Ruhr-Universit¨

              Add to Reading List

              Source URL: eprint.iacr.org

              Language: English - Date: 2015-07-27 07:13:27
                578

                Combining decision procedures by (model-)equality propagationI Diego Caminha B. de Oliveiraa , David D´eharbeb , Pascal Fontainea a Universit´e de Nancy – INRIA – LORIA

                Add to Reading List

                Source URL: www.montefiore.ulg.ac.be

                Language: English - Date: 2011-03-31 07:30:57
                  579

                  Secure distributed computing on a Java CardTM? Grid Position paper RRSerge Chaumette, Pascal Grange, Achraf Karray?? , Damien Sauveron? ? ?,† and Pierre Vigneras LaBRI, Laboratoire Bordelais de Recherche en In

                  Add to Reading List

                  Source URL: damien.sauveron.fr

                  Language: English - Date: 2013-02-26 15:54:32
                    580

                    Hossegor – France – 7, 8 et 9 Mai 2004 Compte rendu par Pascal Jouxtel Atelier 6 : Modélisation des véhicules mémétiques Présentation d’un modèle pour décrire la créature mémétique. Celle-ci est vue comme

                    Add to Reading List

                    Source URL: www.memetique.org

                    Language: French - Date: 2012-02-18 06:50:40
                      UPDATE