Skip to Main content Skip to Navigation

hal-01903685v2  Conference papers
Mathieu FehrOlivier BuffetVincent ThomasJilles Dibangoye. ρ-POMDPs have Lipschitz-Continuous ϵ-Optimal Value Functions
NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-27
inria-00510159v1  Conference papers
Samuel HornusJared HoberockSylvain LefebvreJohn C. Hart. ZP+: correct Z-pass stencil shadows
Symposium on Interactive 3D Graphics and Games, ACM, 2005, Washington, United States
hal-00449421v1  Conference papers
Alain KibangouCyrille SicletLaurent Ros. ZF OFDM Receiver for Underwater Communications
ISCCSP 2008 - 4th International Symposium on Communications, Control and Signal Processing, Mar 2010, Limassol, Cyprus. pp.n.c
hal-02151645v1  Conference papers
Benoît LibertKhoa NguyenBenjamin TanHuaxiong Wang. Zero-Knowledge Elementary Databases with More Expressive Queries
PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.255-285, ⟨10.1007/978-3-030-17253-4_9⟩
inria-00069913v1  Reports
Sara BouchenakDaniel Hagimont. Zero Overhead Java Thread Migration
[Research Report] RT-0261, INRIA. 2002, pp.33
hal-03283640v1  Conference papers
Manuel Diaz ZapataÖzgür ErkentChristian Laugier. YOLO-based Panoptic Segmentation Network
COMPSAC 2021 - Intelligent and Resilient Computing for a Collaborative World 45th Anniversary Conference, Jul 2021, Madrid, Spain. pp.1-5, ⟨10.1109/COMPSAC51774.2021.00170⟩
hal-02884735v2  Master thesis
Manuel Alejandro Diaz-Zapata. YOLO-Based Panoptic Segmentation
Computer Vision and Pattern Recognition [cs.CV]. 2020
inria-00078318v2  Reports
Mathieu LacageThomas Henderson. Yet Another Network Simulator
[Research Report] RR-5927, INRIA. 2006, pp.16
hal-01082635v3  Conference papers
Pierre GenevèsNils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes
ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
hal-00189131v1  Conference papers
Pierre GenevèsNabil LayaïdaAlan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees
Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1
inria-00423398v1  Conference papers
Jean-Yves Vion-Dury. XPath on Left and Right Sides of Rules: Toward Compact XML Tree Rewriting through Node Patterns
Proceedings of the 2003 ACM Symposium on Document Engineering, DocEng2003, Nov 2003, Grenoble, France. pp.19-25, ⟨10.1145/958220.958225⟩
inria-00423372v1  Conference papers
Pierre GenevèsJean-Yves Vion-Dury. XPath Formal Semantics and Beyond: a Coq based approach
Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, Aug 2004, Utah, United States. pp.181-198
hal-00837765v1  Conference papers
Pierre GenevèsNabil Layaïda. XML Validation: Looking Backward -- Strongly Typed and Flexible XML Processing are not Incompatible
22nd International World Wide Web Conference (WWW'13), May 2013, Rio de Janeiro, Brazil
hal-00822911v1  Conference papers
Jérôme EuzenatLaurent Tardif. XML transformation flow processing
Proc. 2nd conference on extreme markup languages, Aug 2001, Montréal, Canada. pp.61-72
hal-00922309v1  Journal articles
Jérôme EuzenatLaurent Tardif. XML transformation flow processing
Markup Languages Theory and Practice, MIT Press, 2002, 3 (3), pp.285-311
hal-00494261v1  Conference papers
Pierre GenevèsNabil Layaïda. XML Reasoning Made Practical
26th IEEE International Conference on Data Engineering, ICDE 2010, Mar 2010, Long Beach, CA, United States. pp. 1169-1172, ⟨10.1109/ICDE.2010.5447786⟩
hal-00906231v1  Conference papers
Jérôme Euzenat. XML est-il le langage de représentation de connaissance de l'an 2000?
Actes 6e journées sur langages et modèles à objets (LMO), Jan 2000, Mont Saint-Hilaire, Canada. pp.59-74
hal-00799904v1  Conference papers
Thierry GautierJoao Vicente Ferreira LimaNicolas MaillardBruno Raffin. XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures
27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2013, Boston, Massachusetts, United States
inria-00110262v1  Conference papers
Dino Lopez PachecoLaurent LefèvreCong-Duc Pham. XCP-i : "eXplicit Control Protocol" pour l'interconnexion de réseaux haut-débit hétérogènes
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, Eric Fleury and Farouk Hamoun, Oct 2006, Tozeur/Tunisia, Tunisie. 12 p