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

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