Collection of the publications of the LORIA, Lorraine Laboratory of IT Research and its Applications - UMR 7503

Machine Learning Raisonnement à partir de cas Multicast Verification Event-B Uml Parallelism Machine learning Management Modélisation Linear logic Automated deduction Strategy Real-time M Reinforcement learning Case-based reasoning Robotics Security protocols Vérification Supervision Workflow Classification Réseaux de neurones Sémantique Neural networks Ontology Xml Embedded systems Segmentation Document analysis Real-time systems Information retrieval Validation Spécification Security Proof Raffinement Robustness Monitoring Parole Learning Algorithm Java Optimisation Deep learning Reconnaissance de la parole Model checking Natural language processing Term rewriting Web sémantique Network management Modeling Fouille de données Data mining Optimization Annotation Recherche d'information Clustering Temps réel Complexité Formal concept analysis Complexity Web services Logique linéaire Augmented reality Termination Interoperability Privacy Formal methods Réécriture Induction B method Scheduling Adaptation Constraints Rewriting Association rules Knowledge representation Parallélisme Economic intelligence Modelling Refinement Simulation Apprentissage Speech Narrowing Automatic speech recognition Performance evaluation Cryptographic protocols Semantics Sécurité Speech recognition Intelligence économique Reconnaissance automatique de la parole Coordination Apprentissage par renforcement Ordonnancement Performance Formal Concept Analysis