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

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