Filtrer vos résultats
- 101
- 2
- 58
- 15
- 14
- 12
- 1
- 1
- 1
- 1
- 14
- 103
- 2
- 1
- 1
- 2
- 5
- 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
|
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
|
||
|
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
|
||
|
SPARUB: SPARQL UPDATE Benchmark2017
Pré-publication, Document de travail
hal-01523496v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
XML Query-Update Independence Analysis RevisitedDocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361375⟩
Communication dans un congrès
hal-00734668v1
|
||
|
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
|
||
|
Deciding XPath Containment with MSOData and Knowledge Engineering, 2007, 63 (1), p. 108-136
Article dans une revue
hal-00189134v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Reasoning with StyleInternational Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-01149248v1
|
||
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
|
|||
|
Efficient Static Analysis of XML Paths and Types[Research Report] RR-6590, INRIA. 2008
Rapport
inria-00305302v3
|
||
|
A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability[Research Report] RR-8128, INRIA. 2012, pp.10
Rapport
hal-00749286v2
|
||
|
XML Reasoning Solver User Manual[Research Report] RR-6726, INRIA. 2011
Rapport
inria-00339184v2
|
||
|
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
|
||
|
An efficient translation from a modal μ-calculus over finite trees with converse to tree automata2016
Pré-publication, Document de travail
hal-01117830v2
|
||
|
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
|
||
|
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
|
||
|
SPARQL Query Containment under SHI Axioms[Research Report] RR-7943, Inria - Sophia Antipolis. 2012
Rapport
hal-00691638v1
|
||
|
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference[Research Report] RR-8149, INRIA. 2012, pp.25
Rapport
hal-00757867v1
|
||
|
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
|
||
|
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
|