Filtrer vos résultats
- 94
- 54
- 13
- 12
- 12
- 1
- 1
- 1
- 13
- 94
- 3
- 1
- 1
- 1
- 3
- 4
- 2
- 3
- 3
- 8
- 9
- 5
- 7
- 5
- 2
- 10
- 8
- 4
- 3
- 2
- 4
- 5
- 2
- 5
- 93
- 1
- 94
- 82
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 94
- 81
- 11
- 10
- 9
- 7
- 7
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 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
94 résultats
|
Improving Efficiency of XPath-Based XML QueryingIFIP 18th World Computer Congress, Aug 2004, Toulouse, France. pp.143-153
Communication dans un congrès
inria-00423375v1
|
||
|
A Decision Procedure for XPath Containment[Research Report] RR-5867, INRIA. 2006, pp.41
Rapport
inria-00070159v1
|
||
|
XQuery and Static Typing: Tackling the Problem of Backward AxesICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
Communication dans un congrès
hal-01082635v3
|
||
|
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
|
||
|
Compiling XPath for Streaming Access PolicyProceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
Communication dans un congrès
inria-00423319v1
|
||
|
Mobile Augmented Reality Applications for Smart CitiesERCIM News, 2014, ERCIM News 98, 98, pp.45-46
Article dans une revue
hal-01102797v2
|
||
|
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
Communication dans un congrès
hal-00189131v1
|
||
|
Ensuring Query Compatibility with Evolving XML Schemas[Research Report] RR-6711, INRIA. 2008
Rapport
inria-00336360v1
|
||
|
Identifying Query Incompatibilities with Evolving XML SchemasICFP'09, Aug 2009, Edinburgh, United Kingdom. pp.221-230, ⟨10.1145/1596550.1596583⟩
Communication dans un congrès
inria-00423058v1
|
||
|
Toward Automated Schema-directed Code RevisionDocEng 2012, Sep 2012, Paris, France. ⟨10.1145/2361354.2361377⟩
Communication dans un congrès
hal-00734678v1
|
||
|
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⟩
Communication dans un congrès
hal-00494233v1
|
||
|
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⟩
Communication dans un congrès
hal-00494261v1
|
||
|
A Method to Quantitatively Evaluate Geo Augmented Reality ApplicationsISMAR 2018 - International Symposium on Mixed and Augmented Reality, Oct 2018, Munich, Germany. pp.1-6
Communication dans un congrès
hal-01890838v1
|
||
|
Privacy-Preserving and Bandwidth-Efficient Federated Learning: An Application to In-Hospital Mortality PredictionCHIL 2021 - ACM Conference on Health, Inference, and Learning, Apr 2021, virtual event, France. pp.1-11, ⟨10.1145/3450439.3451859⟩
Communication dans un congrès
hal-03160473v1
|
||
|
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⟩
Article dans une revue
hal-01517087v6
|
||
|
Evaluation of Query Transformations without DataWWW 2018 - Companion of The Web Conference, Apr 2018, Lyon, France. pp.1599-1602, ⟨10.1145/3184558.3191617⟩
Communication dans un congrès
hal-01891182v1
|
||
|
XPath Formal Semantics and Beyond: a Coq based approachProceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, Aug 2004, Utah, United States. pp.181-198
Communication dans un congrès
inria-00423372v1
|
||
|
Logic-Based XPath OptimizationProceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, Oct 2004, MilWaukee, WI, United States. pp.211-219, ⟨10.1145/1030397.1030437⟩
Communication dans un congrès
inria-00423355v1
|
||
|
A Decision Procedure for XPath ContainmentACM Transactions on Information Systems, 2005
Article dans une revue
inria-00000391v1
|
||
|
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
|
||
|
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
|
||
|
Static Analysis for Data-Centric Web ProgrammingComputer Science [cs]. Université Grenoble Alpes, 2014
HDR
tel-01102401v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
A Benchmark for Semantic Web Query Containment, Equivalence and Satisfiability[Research Report] RR-8128, INRIA. 2012, pp.10
Rapport
hal-00749286v2
|
||
|
An efficient translation from a modal μ-calculus over finite trees with converse to tree automata2016
Pré-publication, Document de travail
hal-01117830v2
|
||
|
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
|