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

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