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

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