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

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