Skip to Main content Skip to Navigation


...
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
...
hal-00563313v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. {SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
...
hal-01518764v1  Conference papers
Jean-Baptiste MouretKonstantinos Chatzilygeroudis. 20 Years of Reality Gap: a few Thoughts about Simulators in Evolutionary Robotics
Workshop "Simulation in Evolutionary Robotics", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany. ⟨10.1145/3067695.3082052⟩
...
hal-01188738v1  Conference papers
Yves LaprieBenjamin ElieAnastasiia Tsukanova. 2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
International Congress of Phonetic Sciences, Aug 2015, Glasgow, United Kingdom
...
hal-01254388v1  Conference papers
Raffaella TrivisonneIgor PeterlikStéphane CotinHadrien Courtecuisse. 3D Physics-Based Registration of 2D Dynamic MRI Data
MMVR - Medicine Meets Virtual Reality, Apr 2016, Los Angeles, United States
...
hal-01727375v1  Conference papers
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
Proceedings of the 34th International Symposium on Computational Geometry, Jun 2018, Budapest, Hungary. pp.30:1 - 30:14, ⟨10.4230/LIPIcs.SoCG.2018.30⟩
...
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
...
hal-01654279v1  Conference papers
V AvrutovP AksonenkoPatrick HenaffLaurent Ciarletta. 3D-Calibration of the IMU
ELNANO 2017 - IEEE 37th International Conference on Electronics and Nanotechnology, Apr 2017, KIEV, Ukraine. pp.1-6, ⟨10.1109/ELNANO.2017.7939782⟩
...
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 221: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
...
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France
...
hal-00744919v1  Conference papers
Juan Pablo TimpanaroIsabelle ChrismentOlivier Festor. A Bird's Eye View on the I2P Anonymous File-sharing Environment
The 6th International Conference on Network and System Security, Nov 2012, Wu Yi Shan, China
...
hal-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
ACM Symposium on Computational Fabrication (SCF 2021), Oct 2021, Boston/Virtual, United States. ⟨10.1145/3485114.3485117⟩
...
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
...
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - Fifth Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
...
inria-00332390v1  Conference papers
Jean-Yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
...
hal-00906814v1  Conference papers
My Thao TangYannick Toussaint. A Collaborative Approach for FCA-Based Knowledge Extraction
CLA - The Tenth International Conference on Concept Lattices and Their Applications - 2013, Oct 2013, La Rochelle, France
...
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
...
hal-03115781v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different features for efficient automatic hate speech detection
IPrA 2021 - 17th International Pragmatics Conference, Jun 2021, Winterthur, Switzerland
...
hal-01835437v1  Conference papers
Wissem InoubliSabeur AridhiHaithem MezniMondher MaddouriEngelbert Mephu Nguifo. A Comparative Study on Streaming Frameworks for Big Data
VLDB 2018 - 44th International Conference on Very Large Data Bases : Workshop LADaS - Latin American Data Science, Aug 2018, Rio de Janeiro, Brazil. pp.1-8
...
hal-01251968v1  Conference papers
César BernardiniThomas SilverstonOlivier Festor. A Comparison of Caching Strategies for Content Centric Networking
IEEE Global Communication Conference, Dec 2015, San Diego, United States
...
hal-01518814v1  Conference papers
Vassilis VassiliadesKonstantinos ChatzilygeroudisJean-Baptiste Mouret. A comparison of illumination algorithms in unbounded spaces
Workshop "Measuring and Promoting Diversity in Evolutionary Algorithms", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany
...
hal-01669454v1  Conference papers
Pauline GuyotPascal VoiriotStéphane PapelierLevy BatistaThierry Bastogne. A comparison of methods for delineation of wave boundaries in 12 Lead ECG
Safety Pharmacology Society 2017 Annual Meeting, SPS 2017, Sep 2017, Berlin, Germany
...
hal-01529623v2  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩
...
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
...
hal-03106208v1  Conference papers
Uwe WaldmannSophie TourretSimon RobillardJasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
...
hal-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2021), Sep 2021, Paris/ Virtuel, France. pp.8
...
inria-00433472v1  Conference papers
Guillaume BonfanteJean-Yves MarionDaniel Reynaud. A computability perspective on self-modifying programs
7th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2009, Nov 2009, Hanoi, Vietnam
...
inria-00424703v1  Conference papers
Luciana BenottiDavid Traum. A computational account of comparative implicatures for a spoken dialogue agent
Eighth International Conference on Computational Semantics - IWCS-8 2009, Jan 2009, Tilburg, Netherlands
...
hal-00908566v1  Conference papers
Georgios DetorakisNicolas Rougier. A computational view of area 3b of primary somatosensory cortex
Annual Computational Neuroscience Meeting, Jul 2013, Paris, France
...
hal-00880002v1  Conference papers
Renzo StanleyHernan AstudilloVictor CodocedoAmedeo Napoli. A Conceptual-KDD approach and its application to cultural heritage
Concept Lattices and their Applications, L3i laboratory, University of La Rochelle, Oct 2013, La Rochelle, France. pp.163-174
...
hal-00909202v1  Conference papers
Ivan EnderlinAlain GiorgettiFabrice Bouquet. A Constraint Solver for PHP Arrays
ICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. pp.218-223, ⟨10.1109/ICSTW.2013.80⟩
...
inria-00636183v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatMohamed-Rafik BougueliaPascal Molli. A Contract-extended Push-Pull-Clone Model
7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2011), Oct 2011, Orlando, Florida, United States
...
hal-01246212v1  Conference papers
Weihai YuLuc AndréClaudia-Lavinia Ignat. A CRDT Supporting Selective Undo for Collaborative Text Editing
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
...
hal-01777997v2  Conference papers
Xavier BultelJannik DreierJean-Guillaume DumasPascal Lafourcade. A Cryptographer's Conspiracy Santa
FUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
...
hal-02568440v1  Conference papers
Levy BatistaMathieu MilhemThierry BastogneFabien ClanchéGabin Personeni et al.  A data-driven classification solution for the timed-up and go test in risk falling assessment
EMBC 2020 - 42nd Engineering in Medicine and Biology Conference, Jul 2020, Montréal, Canada
...
hal-01670012v1  Conference papers
Levy BatistaThierry BastogneFranck AtienzarAnnie DelaunoisJean-Pierre Valentin. A data-driven modeling method to analyze cardiomyocyte impedance data
Safety Pharmacology Society 2017 Annual Meeting, SPS 2017, Sep 2017, Berlin, Germany
...
hal-01212585v1  Conference papers
Andrew ReynoldsJasmin Christian Blanchette. A Decision Procedure for (Co)datatypes in SMT Solvers
CADE-25 - The 25th jubilee edition of the International Conference on Automated Deduction, Aug 2015, Berlin, Germany. pp.197-213, ⟨10.1007/978-3-319-21401-6_13⟩
...
hal-01397082v1  Conference papers
Andrew ReynoldsJasmin Blanchette. A Decision Procedure for (Co)datatypes in SMT Solvers
IJCAI 2016 - 25th International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
...
inria-00112897v1  Conference papers
Alexandre DenisMatthieu QuignardGuillaume Pitel. A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation
Proceedings of Language Resources and Evaluation Conference, 2006, Genoa, Italy. pp.339-344
...
hal-03109525v1  Conference papers
Jeanne DeleforterieLucie HasslerThierry Bastogne. A dendrogram clustering of lipid nanoparticles
15th annual event of the ETPN – European Technology Platform on Nanomedicine, ETPN2020, Oct 2020, Heraklion, Greece
...
hal-01580733v1  Conference papers
Antoine LiutkusKazuyoshi Yoshii. A diagonal plus low-rank covariance model for computationally efficient source separation
IEEE international workshop on machine learning for signal processing (MLSP), Sep 2017, Tokyo, Japan
...
hal-02074061v1  Conference papers
Quentin BrabantMiguel CouceiroFabien LaberniaAmedeo Napoli. A dimensionality Reduction Approach for Qualitative Preference Aggregation
International Symposium on Aggregation and Structures (ISAS 2016), Jul 2016, Luxembourg, Luxembourg
...
hal-01590675v2  Conference papers
Wissem InoubliLivia AlmadaTiciana L. Coelho da SilvaGustavo CoutinhoLucas Peres et al.  A Distributed Framework for Large-Scale Time-Dependent Graph Analysis
ECML PKDD 2017 - TD-LSG 2017 : workshop Advances in Mining Large-Scale Time Dependent Graphs, Sep 2017, Skopje, Macedonia. pp.6
...
inria-00435160v1  Conference papers
Dominique BarthOlivier BournezOctave BoussatonJohanne Cohen. A dynamic approach for load balancing
The Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Samson Lasaulce and Yezekael Hayel, Oct 2009, Pise, Italy