Filtrer vos résultats
- 101
- 2
- 58
- 15
- 14
- 12
- 1
- 1
- 1
- 1
- 14
- 103
- 2
- 1
- 1
- 3
- 4
- 2
- 3
- 9
- 9
- 5
- 6
- 4
- 4
- 10
- 9
- 4
- 4
- 3
- 5
- 7
- 4
- 1
- 5
- 1
- 1
- 96
- 7
- 103
- 89
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 103
- 81
- 20
- 10
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 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
- 1
- 1
- 1
103 résultats
|
|
Containment of XPath expressions: an Inference and Rewriting based approachExtreme Markup Languages, Aug 2003, Montréal, Canada
Communication dans un congrès
inria-00423413v1
|
||
|
|
A Decision Procedure for XPath Containment[Research Report] RR-5867, INRIA. 2006, pp.41
Rapport
inria-00070159v1
|
||
|
|
Automated Refactoring for Size Reduction of CSS Style SheetsProceedings of the 2014 ACM symposium on Document engineering, Sep 2014, Fort Collins, Denver, United States. ⟨10.1145/2644866.2644885⟩
Communication dans un congrès
hal-01081876v2
|
||
|
|
SPARQL Query Containment with ShEx ConstraintsADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus
Communication dans un congrès
hal-01414509v2
|
||
|
|
An efficient translation from a modal μ-calculus over finite trees with converse to tree automata2016
Pré-publication, Document de travail
hal-01117830v2
|
||
|
|
XML Reasoning Solver User Manual[Research Report] RR-6726, INRIA. 2011
Rapport
inria-00339184v2
|
||
|
|
A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability[Research Report] RR-8128, INRIA. 2012, pp.10
Rapport
hal-00749286v2
|
||
|
|
Reasoning with StyleInternational Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-01149248v1
|
||
|
|
On Attitude Estimation with SmartphonesPerCom 2017 - IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
Communication dans un congrès
hal-01376745v2
|
||
Le temps dans les documents -- Langage SMILLes Techniques de l'Ingénieur. Représentation et traitement des documents numériques, H7228, Les Techniques de l'Ingénieur, 2013, TIB312DUO
Chapitre d'ouvrage
hal-00873214v1
|
|||
|
|
A Comparative Analysis of Attitude Estimation for Pedestrian Navigation with SmartphonesIPIN 2015 - Indoor Positioning and Indoor Navigation, Oct 2015, Banff, Canada. pp.10, ⟨10.1109/IPIN.2015.7346767⟩
Communication dans un congrès
hal-01194811v1
|
||
|
|
Multimedia document summarization based on a semantic adaptation frameworkInternational workshop on Semantically aware document processing and indexing, ACM, May 2007, Montpellier, France. ⟨10.1145/1283880.1283896⟩
Communication dans un congrès
inria-00192895v1
|
||
|
|
Efficient Static Analysis of XML Paths and Types[Research Report] RR-6590, INRIA. 2008
Rapport
inria-00305302v3
|
||
|
|
Madeus : système d'édition et de présentation de documents structurés multimédiaAutre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨NNT : ⟩
Thèse
tel-00004952v1
|
||
|
|
Content Interaction and Formatting for Mobile DevicesProceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.98-100, ⟨10.1145/1096601.1096627⟩
Communication dans un congrès
inria-00423312v1
|
||
|
|
A Decision Procedure for XPath ContainmentACM Transactions on Information Systems, 2005
Article dans une revue
inria-00000391v1
|
||
|
|
Media Resources Adaptation for Limited DevicesProceedings of the 7th ICCC/IFIP International Conference on Electronic Publishing, ELPUB 2003, Jun 2003, Minho, Portugal. pp.209-218
Communication dans un congrès
inria-00423425v1
|
||
|
|
Knowledge Enhanced Graph Neural Networks for Graph CompletionThe 10th IEEE International Conference on Data Science and Advanced Analytics, Oct 2023, Thessalokini, Greece
Communication dans un congrès
hal-04041691v3
|
||
|
|
SPARQLGX: Efficient Distributed Evaluation of SPARQL with Apache SparkThe 15th International Semantic Web Conference, Oct 2016, Kobe, Japan. ⟨10.1007/978-3-319-46547-0_9⟩
Communication dans un congrès
hal-01344915v1
|
||
|
|
SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark15th International Semantic Web Conference (ISWC 2016 demo paper), Oct 2016, Kobe, Japan
Communication dans un congrès
hal-01358125v1
|
||
|
|
SPARQL Query Containment under SchemaJournal on Data Semantics, 2018, 7 (3), pp.133-154. ⟨10.1007/s13740-018-0087-1⟩
Article dans une revue
hal-01767887v2
|
||
|
|
SPARQL Query Containment under SHI Axioms[Research Report] RR-7943, Inria - Sophia Antipolis. 2012
Rapport
hal-00691638v1
|
||
|
|
SPARQL Query Containment Under SHI Axioms26th AAAI Conference on Artificial Intelligence, Jul 2012, Toronto, Canada. pp.10-16
Communication dans un congrès
hal-00749080v1
|
||
|
|
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⟩
Communication dans un congrès
hal-00794919v1
|
||
|
|
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference[Research Report] RR-8149, INRIA. 2012, pp.25
Rapport
hal-00757867v1
|
||
|
|
Semantic adaptation of multimedia documentsMultimedia Tools and Applications, 2011, 55 (3), pp.379-398. ⟨10.1007/s11042-010-0552-9⟩
Article dans une revue
hal-00781024v1
|
||
|
|
A semantic framework for multimedia document adaptationProceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI'2003, Aug 2003, Acapulco, Mexico. pp.31-36
Communication dans un congrès
inria-00423411v1
|
||
|
|
Backward Type Inference for XML QueriesTheoretical Computer Science, 2020, Theoretical Computer Science, 823, pp.69 - 99. ⟨10.1016/j.tcs.2020.03.020⟩
Article dans une revue
hal-01497857v3
|
||
|
|
SPARUB: SPARQL UPDATE Benchmark2017
Pré-publication, Document de travail
hal-01523496v1
|
||
|
|
Parametric Polymorphism and Semantic Subtyping: the Logical ConnectionInternational conference on functional programming, ACM SIGPLAN, Sep 2011, Tokyo, Japan. pp.107-116, ⟨10.1145/2034773.2034789⟩
Communication dans un congrès
inria-00585686v2
|