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
|
||
|
SPARUB: SPARQL UPDATE Benchmark2017
Pré-publication, Document de travail
hal-01523496v1
|
||
|
Equipping IDEs with XML-Path Reasoning CapabilitiesACM Transactions on Internet Technology, 2014, 13 (4), pp.20. ⟨10.1145/2602573⟩
Article dans une revue
hal-00868723v2
|
||
|
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
|
||
|
SPARQL Query Containment under RDFS Entailment Regime[Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25
Rapport
hal-00691610v1
|
||
|
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
|
||
|
Impact of XML Schema EvolutionACM Transactions on Internet Technology, 2011, 11 (1), pp.4:1-4:27. ⟨10.1145/1993083.1993087⟩
Article dans une revue
inria-00619225v1
|
||
|
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⟩
Communication dans un congrès
hal-00494245v1
|
||
|
Deciding XPath Containment with MSOData and Knowledge Engineering, 2007, 63 (1), p. 108-136
Article dans une revue
hal-00189134v1
|
||
|
Adapter temporellement un document SMILActes atelier plate-forme AFIA 2005 sur Connaissance et document temporel, May 2005, Nice, France. pp.47-58
Communication dans un congrès
hal-00922286v1
|
||
|
XML Query-Update Independence Analysis RevisitedDocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361375⟩
Communication dans un congrès
hal-00734668v1
|
||
|
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
|