Collection des publications du LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503

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