1
0
0
(1 - 24 from 24
)
MESH Program - IARIAwww.iaria.org › conferences2011 › ProgramMESH11
www.iaria.org
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Tag Relevancy for Similar Artists Brandeis Marshall. Usability Heuristics for Interactive Digital ...
Encyclopedia of Information Science and Technology, Third Edition
books.google.com
Mahdi Gueffaz University of Burgundy, France Sylvain Rampacek University of Burgundy, France Christophe Nicolle University of Burgundy, France ...
Digital Information Processing and Communications, Part II:...
books.google.de
Mahdi Gueffaz, Sylvain Rampacek, and Christophe Nicolle A Public Health Information System Design .
CiteSeerX — Model Checker to Query Semantic Graphs
citeseerx.ist.psu.edu
· @MISC{Gueffaz11modelchecker, author = {Mahdi Gueffaz and Sylvain Rampacek and Christophe Nicolle and Mahdi Gueffaz and Sylvain Rampacek and …
CiteSeerX — RDF2SPIN: Mapping Semantic graphs to SPIN Model Checker
citeseerx.ist.psu.edu
· @MISC{Gueffaz11rdf2spin:mapping, author = {Mahdi Gueffaz and Sylvain Rampacek and Christophe Nicolle and Mahdi Gueffaz and Sylvain Rampacek and …
CiteSeerX — Inconsistency Identification In Dynamic Ontologies Based...
citeseerx.ist.psu.edu
BibTeX @ARTICLE{Gueffaz12inconsistencyidentification, author = {Mahdi Gueffaz and Perrine Pittet and Sylvain Rampacek and Christophe Cruz and Christophe Nicolle}, ...
RDF2NµSMV: Mapping Semantic Graphs to NµSMV Model Checker - CORE
core.ac.uk
By Mahdi Gueffaz, Sylvain Rampacek and Christophe Nicolle. Abstract. Abstract — The most frequently used language to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. The processing of large semantic graphs is a limit to the use of ...
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker | SpringerLink
link.springer.com
Mahdi Gueffaz, Sylvain Rampacek, and Christophe Nicolle LE2I, UMR CNRS University of Bourgogne, Dijon, France {Mahdi.Gueffaz,Sylvain.Rampacek,
Qualifying Semantic graphs using Model Checking - Core
core.ac.uk
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Qualifying Semantic graphs using Model. Checking. International Conference On ...
Communications in Computer and Information Science 167
rd.springer.com
Mahdi Gueffaz, Sylvain Rampacek, and Christophe Nicolle C-Lash: A Cache System for Optimizing NAND Flash Memory Performance and Lifetime Jalil Boukhobza and Pierre Olivier Resource Discovery for Supporting Ubiquitous Collaborative Work Kimberly Garc´ıa, Sonia Mendoza, Dominique Decouchant, ...
1 RDF 2 SPIN : Mapping Semantic graphs to SPIN Model Checkerwww.semanticscholar.org › paper › 1-RDF-2-SPIN-:-Mapping-Semantic-gr...
www.semanticscholar.org
... title={1 RDF 2 SPIN : Mapping Semantic graphs to SPIN Model Checker}, author={Mahdi Gueffaz and Sylvain Rampacek and Christophe Nicolle}, year={2018} }.
Digital Library - SDIWCsdiwc.net › digital-library › browse
sdiwc.net
Authors: Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle Year Published: | | IJDIWC | Vol. 1 No
INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES ...archivesic.ccsd.cnrs.fr › ENSAM
archivesic.ccsd.cnrs.fr
by M Gueffaz · · Cited by 11 — Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle. INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL ...
SCIENCE AND TECHNOLOGY PUBLICATIONS - SCITEPRESSwww.scitepress.org › Papers
www.scitepress.org
by M Gueffaz · · Cited by 5 — Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Abstract. Semantic interoperability problems have found their solutions using languages and techniques ...
ScaleSem Approach to Check and to Query Semantic Graphswww.igi-global.com › chapter › scalesem-approach-to-check-and-to-query...
www.igi-global.com
by M Gueffaz · — Mahdi Gueffaz (University of Burgundy, France), Sylvain Rampacek (University of Burgundy, France) and Christophe Nicolle (University of Burgundy, France).
Temporal Logic To Query Semantic Graphs Using The Model ...hal.archives-ouvertes.fr › hal
hal.archives-ouvertes.fr
Mahdi Gueffaz 1 Sylvain Rampacek 1 Christophe Nicolle 1. Détails. 1 Le2i - Laboratoire Electronique, Informatique et Image [UMR6306].
CheckSem - Semantic Intelligence Research …
checksem.u-bourgogne.fr
Revues (7) "Temporal Logic To Query Semantic Graphs Using The Model Checking Method", Mahdi Gueffaz, Sylvain Rampacek, Christophe ...
ThinkMind(TM) Digital Library
www.thinkmind.org
Mahdi Gueffaz, Sylvain Rampacek, and Christophe Nicolle keywords: Semantic graph, RDF, Model-checking, temporal logic, NµSMV, IFC, BIM. Tag Relevancy ...
Recommend to a Librarian | IGI Global
www.igi-global.com
Author(s)/Editor(s): Mahdi Gueffaz (University of Burgundy, France); Sylvain Rampacek (University of Burgundy, France); Christophe Nicolle ...
Previous Issue
sdiwc.net
... LOGIC QUERY BASED ON NµSMV MODEL CHECKER TO QUERY SEMANTIC GRAPHS. Author/s: Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle.
RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker - Archive...
hal.archives-ouvertes.fr
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker. International Conference on Digital ...
Program - International Conference on Innovations in Information ...
www.it-innovations.ae
Mahdi Gueffaz (Bourgogne, France); Sylvain Rampacek (Bourgogne, France); Christophe Nicolle (University of Burgundy, France).
SENSORCOMM Program
www.iaria.org
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Tag Relevancy for Similar Artists Brandeis Marshall. Usability Heuristics for Interactive ...
Volume 7 Number 7 (Jul ) - JSOFTWARE
www.jsoftware.us
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle Providing and Evaluating the Mobile Web Service Distribution Mechanisms Using Fuzzy Logic.
All web results to the name "Sylvain Rampacek"
Related search requests for Sylvain Rampacek
Christophe Nicolle Serge Haddad Radu Mateescu | Eric Leclercq |
People Forename "Sylvain" (4795) Name "Rampacek" (1) |
sorted by relevance / date