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

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