Search - Archive ouverte HAL Access content directly

Filter your results

61 Results
Image document

Evaluating and benchmarking SPARQL query containment solvers

Melisachew Wudage Chekol , Jérôme Euzenat , Pierre Genevès , Nabil Layaïda
Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. pp.408-423, ⟨10.1007/978-3-642-41338-4_26⟩
Conference papers hal-00917911v1
Image document

SPARQL Query Containment under RDFS Entailment Regime

Melisachew Wudage Chekol , Jérôme Euzenat , Pierre Genevès , Nabil Layaïda
6th International Joint Conference on Automated Reasoning (IJCAR), Jun 2012, Manchester, United Kingdom. pp.134-148, ⟨10.1007/978-3-642-31365-3_13⟩
Conference papers hal-00749087v1
Image document

Authoring XML all the Time, Everywhere and by Everyone

Stéphane Sire , Christine Vanoirbeek , Vincent Quint , Cécile Roisin
XML Prague 2010, Mar 2010, Prague, Czech Republic. pp. 125-149
Conference papers hal-00494255v1
Image document

On the Analysis of Cascading Style Sheets

Pierre Genevès , Nabil Layaïda , Quint Vincent
[Research Report] RR-7808, INRIA. 2011
Reports hal-00643075v1
Image document

L'émergence de la réalité augmentée, à la frontière du réel et du virtuel

Jacques Lemordant , Jean-Dominique Gascuel , Isabelle Bellin
Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 3 p
Journal articles hal-00813184v1
Image document

On the Analysis of Cascading Style Sheets

Pierre Genevès , Nabil Layaïda , Vincent Quint
WWW '12 - 21st international conference on World Wide Web - 2012, Apr 2012, Lyon, France. pp.809-818, ⟨10.1145/2187836.2187946⟩
Conference papers hal-00690899v1
Image document

Modular Session Types for Objects

Simon J. Gay , Nils Gesbert , António Ravara , Vasco Thudichum Vasconcelos
2011
Preprints, Working Papers, ... hal-00700635v1
Image document

Enhancing an XML Publishing Workflow for Web Multimedia

Cécile Roisin , Fabien Cazenave , Vincent Quint , Ludovic Gaillard , Dominique Saint-Martin et al.
[Research Report] RR-7836, 2011, pp.23
Reports hal-00651543v1
Image document

A Lightweight Framework for Authoring XML Multimedia Content on the Web

Christine Vanoirbeek , Vincent Quint , Stéphane Sire , Cécile Roisin
Multimedia Tools and Applications, 2012, ⟨10.1007/s11042-012-1159-0⟩
Journal articles hal-00712637v1
Image document

XML Reasoning Solver User Manual

Pierre Genevès , Nabil Layaïda
[Research Report] RR-6726, 2008
Reports inria-00339184v1
Image document

Réifier et réutiliser les pratiques d'enseignement : développement participatif d'un scénario et de services pour les communautés de pratique

Bernadette Charlier , Aida Boukottaya , Amaury Daele , France Henri , Cécile Roisin et al.
EIAH 09, Jun 2009, Le Mans, France. pp.223-230
Conference papers inria-00548845v1
Image document

Le language audio pour mobiles MAUDL et son moteur de rendu audio interactif IXE

Yohan Lasorsa , Jacques Lemordant
[Rapport de recherche] RR-7847, INRIA. 2011, pp.40
Reports hal-00654067v1
Image document

Le web devient un outil universel aux fonctionnalités croissantes

Françoise Breton , Vincent Quint
Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p
Journal articles hal-00813168v1
Image document

Representation and Analyses of Web Content and Processing

Nabil Layaïda
Web. Université de Grenoble, 2013
Habilitation à diriger des recherches tel-00872752v1
Image document

Query Reasoning on Trees with Types, Interleaving, and Counting

Everardo Barcenas-Patino , Pierre Genevès , Nabil Layaïda , Alan Schmitt
22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
Conference papers inria-00609556v1
Image document

XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible

Pierre Genevès , Nabil Layaïda
22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil
Conference papers hal-00837765v1
Image document

Inconsistent Path Detection for XML IDEs

Pierre Genevès , Nabil Layaïda
33rd International Conference on Software Engineering, ICSE 2011, May 2011, Honolulu, United States. pp.983-985, ⟨10.1145/1985793.1985967⟩
Conference papers inria-00609513v1
Image document

Sound Objects for SVG

Audrey Colbrant , Yohan Lasorsa , Jacques Lemordant , David Liodenot , Mathieu Razafimahazo et al.
SVG Open 2010, Telecom Paris, Aug 2010, Paris, France
Conference papers inria-00540356v1
Image document

SPARQL Query Containment under SHI Axioms

Melisachew Wudagae Chekol , Jérôme Euzenat , Pierre Genevès , Nabil Layaïda
[Research Report] RR-7943, Inria - Sophia Antipolis. 2012
Reports hal-00691638v1
Image document

Semantic multimedia document adaptation with functional annotations

Sébastien Laborie , Jérôme Euzenat , Nabil Layaïda
Proc. 4th international workshop on Semantic Media Adaptation and Personalization (SMAP2009), Dec 2009, San Sebastián, Spain. pp.44-49, ⟨10.1109/SMAP.2009.19⟩
Conference papers hal-00794919v1
Image document

Semantic adaptation of multimedia documents

Sébastien Laborie , Jérôme Euzenat , Nabil Layaïda
Multimedia Tools and Applications, 2011, 55 (3), pp.379-398. ⟨10.1007/s11042-010-0552-9⟩
Journal articles hal-00781024v1
Image document

XQTC: A Static Type-Checker for XQuery Using Backward Type Inference

Pierre Genevès , Nabil Layaïda , Christine Vanoirbeek
[Research Report] RR-8149, INRIA. 2012, pp.25
Reports hal-00757867v1
Image document

XQuery and Static Typing: Tackling the Problem of Backward Axes

Pierre Genevès , Nils Gesbert , Nabil Layaïda
2013
Preprints, Working Papers, ... hal-00872426v1
Image document

Equipping IDEs with XML Path Reasoning Capabilities

Pierre Genevès , Nabil Layaïda
ACM Transactions on Internet Technology, 2013, (to appear)
Journal articles hal-00868723v1
Image document

Analyse statique de requête pour le Web sémantique

Melisachew Wudage Chekol
Autre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM098⟩
Theses tel-00849116v2
Image document

SPARQL Query Containment Under SHI Axioms

Melisachew Wudage Chekol , Jérôme Euzenat , Pierre Genevès , Nabil Layaïda
26th AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.10-16
Conference papers hal-00749080v1
Image document

Basic Concepts in Augmented Reality Audio

Jacques Lemordant
W3C Workshop: Augmented Reality on the Web, Jun 2010, Barcelona, Spain. pp.4
Conference papers hal-00494276v1
Image document

Augmented Reality Audio Editing

Jacques Lemordant , Yohan Lasorsa
128th AES Convention, May 2010, London, United Kingdom. paper 8143
Conference papers hal-00494239v1
Image document

Debugging Standard Document Formats

Nabil Layaïda , Pierre Genevès
19th International Conference on World Wide Web (WWW 2010), Apr 2010, Raleigh, NC, United States. pp. 1269-1272, ⟨10.1145/1772690.1772899⟩
Conference papers hal-00494245v1
Image document

A Logical Approach To Deciding Semantic Subtyping - Supporting function, intersection, negation, and polymorphic types

Nils Gesbert , Pierre Genevès , Nabil Layaïda
2013
Preprints, Working Papers, ... hal-00848023v1