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

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