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

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