5615 results  save search

hal-01251377v1  Conference papers
Peter BaumgartnerJoshua BaxUwe Waldmann. Beagle – A Hierarchic Superposition Prover
25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. pp.367-377, ⟨10.1007/978-3-319-21401-6_25⟩
hal-01851806v1  Conference papers
Jilles Steeve DibangoyeOlivier Buffet. Learning to Act in Decentralized Partially Observable MDPs
ICML 2018 - 35th International Conference on Machine Learning, Jul 2018, Stockholm, Sweden. pp.1233-1242
hal-01251380v1  Conference papers
Renate SchmidtUwe Waldmann. Modal Tableau Systems with Blocking and Congruence Closure
24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wroclaw, Poland. pp.38-53, ⟨10.1007/978-3-319-24312-2_4⟩
hal-01351398v1  Conference papers
Myrto ArapinisVéronique CortierSteve Kremer. When are three voters enough for privacy properties?
21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece
hal-00801618v1  Book sections
Martine Cadot. Modèle des données à base de règles : de la construction au pilotage
Régis Gras; Jean-Claude Régnier; Claudia Marinica; Fabrice Guillet. L'analyse statistique implicative - Méthode exploratoire et confirmatoire à la recherche de causalités - 2e édition, Cépaduès, pp.299-312, 2013, 9782364930568
hal-01651668v1  Conference papers
Clement BeyssonSarah BlindPhilippe de GrooteBruno Guillaume. Generalized Quantifiers and Dynamicity — preliminary results —
QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France
hal-00851959v1  Conference papers
Motaz SaadDavid LangloisKamel Smaïli. Comparing Multilingual Comparable Articles Based On Opinions
Proceedings of the 6th Workshop on Building and Using Comparable Corpora, Association for Computational Linguistics ACL, Aug 2013, Sofia, Bulgaria. pp.105-111
hal-00601621v1  Conference papers
Maxime Amblard. Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.1--16, ⟨10.1007/978-3-642-22221-4_1⟩
hal-00801813v1  Conference papers
Elias EghoChedy RaïssiDino IencoNicolas JayAmedeo Napoli et al.  Healthcare trajectory mining by combining multidimensional component and itemsets
ECML-PKDD 2012, Sep 2012, Bristol, United Kingdom. p. 116 - p. 127
hal-00601622v1  Conference papers
Maxime AmblardMichel MusiolManuel Rebuschi. Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques
Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2011, Jun 2011, Montpellier, France. pp.93 - 98
hal-00601620v1  Conference papers
Sai QianMaxime Amblard. Event in Compositional Dynamic Semantics
6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.219--234, ⟨10.1007/978-3-642-22221-4_15⟩
hal-01651749v1  Conference papers
Clement Beysson. Déterminants et quantificateurs généralisés dynamiques
TALN 2017 - Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93
hal-01301276v1  Conference papers
Zeinab BakhtiariHans van DitmarschSabine Frittella. Algebraic Semantics of Refinement Modal Logic
Advances in Modal Logic, Aug 2016, Budapest, Hungary
hal-01251305v1  Conference papers
Laurent CiarlettaLoïc FejozAdrien GuenardNicolas Navet. Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
ERTS 2016 - 8th European Congress on Embedded Real Time Software and Systems, Jan 2016, Toulous, France. pp.10
hal-01251309v1  Conference papers
Laurent CiarlettaThomas Gurriet. Towards a generic model of adaptative geofencing focused on operationnal issues
3rd AETOS International Workshop on Research Challenges for Future RPAS/UAS , May 2015, Atlanta, United States
hal-01401246v1  Conference papers
Kahina BessaiFrançois Charoy. Business process tasks-assignment and resource allocation in Crowdsourcing context
IEEE International Conference on Collaboration and Internet Computing, Nov 2016, Pittsburgh, United States
hal-01201533v1  Conference papers
Irina IllinaDominique Fohr. Different word representations and their combination for proper name retrieval from diachronic documents
IEEE Automatic Speech Recognition and Understanding Workshop (ASRU 2015) , Dec 2015, Scottsdale, United States
hal-01570330v3  Reports
Samuel HornusSylvain Lefebvre. Iterative carving for self-supporting 3D printed cavities
[Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19
hal-01101225v1  Book sections
Stéphane VialleSylvain Contassot-Vivier. Optimization methodology for Parallel Programming of Homogeneous or Hybrid Clusters
F. Magoules. Patterns for parallel programming on GPUs, Saxe-Coburg Publications, 2014, 978-1-874672-57-9
hal-02002115v1  Reports
Dariusz BiernackiSergueï LengletPiotr Polesiuk. A Complete Normal-Form Bisimilarity for State
[Research Report] RR-9251, Inria Nancy - Grand Est. 2019
tel-01251128v1  Theses
Luiza Orosanu. Reconnaissance de la parole pour l’aide à la communication pour les sourds et malentendants
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0172⟩
tel-01754477v3  Theses
Mehwish Alam. Interactive Knowledge Discovery over Web of Data
Information Retrieval [cs.IR]. Loria & Inria Grand Est, 2015. English. ⟨NNT : 2015LORR0158⟩
hal-01101150v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014)
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014) at ECAI 2014, 2014, Prague, Czech Republic. 1257, pp.100, 2014, CEUR Proceedings
hal-01401470v1  Conference papers
Tim ReinerSylvain Lefebvre. Interactive Modeling of Support-free Shapes for Fabrication
EUROGRAPHICS, May 2016, Lisbonne, Portugal