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

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