Filter your results
- 101
- 2
- 55
- 15
- 15
- 14
- 1
- 1
- 1
- 1
- 14
- 103
- 2
- 1
- 1
- 6
- 3
- 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
- 4
- 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
103 Results
|
Containment of XPath expressions: an Inference and Rewriting based approachExtreme Markup Languages, Aug 2003, Montréal, Canada
Conference papers
inria-00423413v1
|
||
|
A Decision Procedure for XPath Containment[Research Report] RR-5867, INRIA. 2006, pp.41
Reports
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⟩
Conference papers
hal-01081876v2
|
||
|
Backward Type Inference for XML QueriesTheoretical Computer Science, 2020, Theoretical Computer Science, 823, pp.69 - 99. ⟨10.1016/j.tcs.2020.03.020⟩
Journal articles
hal-01497857v3
|
||
|
SPARQL Query Containment under RDFS Entailment Regime[Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25
Reports
hal-00691610v1
|
||
|
Deciding XPath Containment with MSOData and Knowledge Engineering, 2007, 63 (1), p. 108-136
Journal articles
hal-00189134v1
|
||
|
SPARUB: SPARQL UPDATE Benchmark2017
Preprints, Working Papers, ...
hal-01523496v1
|
||
|
XML Query-Update Independence Analysis RevisitedDocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361375⟩
Conference papers
hal-00734668v1
|
||
|
Equipping IDEs with XML-Path Reasoning CapabilitiesACM Transactions on Internet Technology, 2014, 13 (4), pp.20. ⟨10.1145/2602573⟩
Journal articles
hal-00868723v2
|
||
|
Impact of XML Schema EvolutionACM Transactions on Internet Technology, 2011, 11 (1), pp.4:1-4:27. ⟨10.1145/1993083.1993087⟩
Journal articles
inria-00619225v1
|
||
|
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⟩
Conference papers
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⟩
Conference papers
hal-00494245v1
|
||
|
Adapter temporellement un document SMILActes atelier plate-forme AFIA 2005 sur Connaissance et document temporel, May 2005, Nice, France. pp.47-58
Conference papers
hal-00922286v1
|
||
|
Evaluation of Query Transformations without DataWWW 2018 - Companion of The Web Conference, Apr 2018, Lyon, France. pp.1599-1602, ⟨10.1145/3184558.3191617⟩
Conference papers
hal-01891182v1
|
||
|
A Method to Quantitatively Evaluate Geo Augmented Reality ApplicationsISMAR 2018 - International Symposium on Mixed and Augmented Reality, Oct 2018, Munich, Germany. pp.1-6
Conference papers
hal-01890838v1
|
||
|
Exploring Labeled Graphs with Recursive Path Patterns2023
Preprints, Working Papers, ...
hal-03517826v3
|
||
|
On the Replicability of Knowledge Enhanced Neural Networks in a Graph Neural Network Framework2022
Preprints, Working Papers, ...
hal-03692362v1
|
||
|
XML Reasoning Made Practical26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. pp. 1169-1172, ⟨10.1109/ICDE.2010.5447786⟩
Conference papers
hal-00494261v1
|
||
|
Eliminating Dead-Code from XQuery Programs32nd ACM/IEEE International Conference on Software Engineering, May 2010, Cape Town, South Africa. pp.305-306, ⟨10.1145/1810295.1810363⟩
Conference papers
hal-00494233v1
|
||
|
Adapted Content Delivery for Different ContextsProc. International Symposium on Applications and the Internet (SAINT 2003), Jan 2003, Orlando, FL, United States. pp.190-197
Conference papers
inria-00423426v1
|
||
|
Ensuring Query Compatibility with Evolving XML Schemas[Research Report] RR-6711, INRIA. 2008
Reports
inria-00336360v1
|
||
|
Mobile Augmented Reality Applications for Smart CitiesERCIM News, 2014, ERCIM News 98, 98, pp.45-46
Journal articles
hal-01102797v2
|
||
|
Toward Automated Schema-directed Code RevisionDocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩
Conference papers
hal-00734678v1
|
||
|
XPath Typing Using a Modal Logic with Converse for Finite TreesProceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1
Conference papers
hal-00189131v1
|
||
|
Identifying Query Incompatibilities with Evolving XML SchemasICFP'09, Aug 2009, Edinburgh, United Kingdom. pp.221-230, ⟨10.1145/1596550.1596583⟩
Conference papers
inria-00423058v1
|
||
|
Scalable Machine Learning for Predicting At-Risk Profiles Upon Hospital AdmissionBig Data Research, 2018, 12, pp.23-34. ⟨10.1016/j.bdr.2018.02.004⟩
Journal articles
hal-01517087v6
|
||
A Spatial Algebra for Multimedia Document AdaptationThe 1st International Conference on Semantic and Digital Media Technologies (SAMT), Dec 2006, Athènes, Greece. pp.7-8
Conference papers
hal-00167160v1
|
|||
|
Adaptation spatiale efficace de documents SMIL2006, pp.127
Conference papers
hal-00023822v1
|
||
|
Efficient Static Analysis of XML Paths and Types[Research Report] RR-6590, INRIA. 2008
Reports
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 : ⟩
Theses
tel-00004952v1
|