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

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