Filter your results
- 59
- 2
- 30
- 13
- 8
- 6
- 2
- 1
- 1
- 61
- 2
- 11
- 14
- 17
- 11
- 7
- 1
- 54
- 7
- 60
- 60
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 35
- 32
- 12
- 11
- 10
- 10
- 7
- 5
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
61 Results
|
Evaluating and benchmarking SPARQL query containment solversProc. 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
|
||
|
SPARQL Query Containment under RDFS Entailment Regime6th 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
|
||
|
Authoring XML all the Time, Everywhere and by EveryoneXML Prague 2010, Mar 2010, Prague, Czech Republic. pp. 125-149
Conference papers
hal-00494255v1
|
||
|
On the Analysis of Cascading Style Sheets[Research Report] RR-7808, INRIA. 2011
Reports
hal-00643075v1
|
||
|
L'émergence de la réalité augmentée, à la frontière du réel et du virtuelCollection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 3 p
Journal articles
hal-00813184v1
|
||
|
On the Analysis of Cascading Style SheetsWWW '12 - 21st international conference on World Wide Web - 2012, Apr 2012, Lyon, France. pp.809-818, ⟨10.1145/2187836.2187946⟩
Conference papers
hal-00690899v1
|
||
|
Modular Session Types for Objects2011
Preprints, Working Papers, ...
hal-00700635v1
|
||
|
Enhancing an XML Publishing Workflow for Web Multimedia[Research Report] RR-7836, 2011, pp.23
Reports
hal-00651543v1
|
||
|
A Lightweight Framework for Authoring XML Multimedia Content on the WebMultimedia Tools and Applications, 2012, ⟨10.1007/s11042-012-1159-0⟩
Journal articles
hal-00712637v1
|
||
|
XML Reasoning Solver User Manual[Research Report] RR-6726, 2008
Reports
inria-00339184v1
|
||
|
Réifier et réutiliser les pratiques d'enseignement : développement participatif d'un scénario et de services pour les communautés de pratiqueEIAH 09, Jun 2009, Le Mans, France. pp.223-230
Conference papers
inria-00548845v1
|
||
|
Le language audio pour mobiles MAUDL et son moteur de rendu audio interactif IXE[Rapport de recherche] RR-7847, INRIA. 2011, pp.40
Reports
hal-00654067v1
|
||
|
Le web devient un outil universel aux fonctionnalités croissantesCollection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p
Journal articles
hal-00813168v1
|
||
|
Representation and Analyses of Web Content and ProcessingWeb. Université de Grenoble, 2013
Habilitation à diriger des recherches
tel-00872752v1
|
||
|
Query Reasoning on Trees with Types, Interleaving, and Counting22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
Conference papers
inria-00609556v1
|
||
|
XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil
Conference papers
hal-00837765v1
|
||
|
Inconsistent Path Detection for XML IDEs33rd International Conference on Software Engineering, ICSE 2011, May 2011, Honolulu, United States. pp.983-985, ⟨10.1145/1985793.1985967⟩
Conference papers
inria-00609513v1
|
||
|
Sound Objects for SVGSVG Open 2010, Telecom Paris, Aug 2010, Paris, France
Conference papers
inria-00540356v1
|
||
|
SPARQL Query Containment under SHI Axioms[Research Report] RR-7943, Inria - Sophia Antipolis. 2012
Reports
hal-00691638v1
|
||
|
Semantic multimedia document adaptation with functional annotationsProc. 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
|
||
|
Semantic adaptation of multimedia documentsMultimedia Tools and Applications, 2011, 55 (3), pp.379-398. ⟨10.1007/s11042-010-0552-9⟩
Journal articles
hal-00781024v1
|
||
|
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference[Research Report] RR-8149, INRIA. 2012, pp.25
Reports
hal-00757867v1
|
||
|
XQuery and Static Typing: Tackling the Problem of Backward Axes2013
Preprints, Working Papers, ...
hal-00872426v1
|
||
|
Equipping IDEs with XML Path Reasoning CapabilitiesACM Transactions on Internet Technology, 2013, (to appear)
Journal articles
hal-00868723v1
|
||
|
Analyse statique de requête pour le Web sémantiqueAutre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM098⟩
Theses
tel-00849116v2
|
||
|
SPARQL Query Containment Under SHI Axioms26th AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.10-16
Conference papers
hal-00749080v1
|
||
|
Basic Concepts in Augmented Reality AudioW3C Workshop: Augmented Reality on the Web, Jun 2010, Barcelona, Spain. pp.4
Conference papers
hal-00494276v1
|
||
|
Augmented Reality Audio Editing128th AES Convention, May 2010, London, United Kingdom. paper 8143
Conference papers
hal-00494239v1
|
||
|
Debugging Standard Document Formats19th 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
|
||
|
A Logical Approach To Deciding Semantic Subtyping - Supporting function, intersection, negation, and polymorphic types2013
Preprints, Working Papers, ...
hal-00848023v1
|