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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Reasoning with StyleInternational Joint Conference On Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-01149248v1
|
||
|
|
Efficient Static Analysis of XML Paths and Types[Research Report] RR-6590, INRIA. 2008
Rapport
inria-00305302v3
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Static Analysis for Data-Centric Web ProgrammingComputer Science [cs]. Université Grenoble Alpes, 2014
HDR
tel-01102401v1
|
||
|
|
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
|
||
|
|
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference[Research Report] RR-8149, INRIA. 2012, pp.25
Rapport
hal-00757867v1
|
||
|
|
Logic-Based XPath OptimizationFirst International Workshop on High Performance XML Processing, May 2004, New York, United States
Communication dans un congrès
inria-00423381v1
|
||
|
|
Compression Boosts Differentially Private Federated LearningEuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, Sep 2021, Vienna, Austria. pp.1-15, ⟨10.1109/EuroSP51992.2021.00029⟩
Communication dans un congrès
hal-03066941v1
|
||
|
|
SPARUB: SPARQL UPDATE Benchmark2017
Pré-publication, Document de travail
hal-01523496v1
|
||
|
|
Logics for XMLNetworking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. English. ⟨NNT : ⟩
Thèse
tel-00133591v3
|
||
|
|
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
|